Index: man/src/common_demo_functions.sh |
diff --git a/man/src/common_demo_functions.sh b/man/src/common_demo_functions.sh |
index 8f85ad1ea05d045776b9b1f9fc242b86791b2024..7501f5a5a23e942e2550176d880cb47e6c51a836 100755 |
--- a/man/src/common_demo_functions.sh |
+++ b/man/src/common_demo_functions.sh |
@@ -50,6 +50,11 @@ comment() { |
echo "###COMMENT### $@" |
} |
+# run a command and print its output without printing the command itself |
+output() { |
+ "$@" |
+} |
+ |
# run a silent command |
silent() { |
if [[ $DEBUG ]] |