Add a git-drover.

man/src/common_demo_functions.sh

 #!/usr/bin/env bash
 
 REMOTE=$(pwd)/demo_repo
 
 unset GIT_DIR
 
 # Helper functions
 set_user() {
   export GIT_AUTHOR_EMAIL="$1@chromium.org"
   export GIT_AUTHOR_NAME="$1"
@@ skipping 32 matching lines @@
 # run a visible command
 run() {
   pcommand "$@"
   "$@"
 }
 
 comment() {
   echo "###COMMENT### $@"
 }
 
+# run a command and print its output without printing the command itself
+output() {
+  "$@"
+}
+
 # run a silent command
 silent() {
   if [[ $DEBUG ]]
   then
     "$@"
   else
     "$@" > /dev/null 2> /dev/null
   fi
 }
 
 # add a file with optionally content
 add() {
   local CONTENT=$2
   if [[ ! $CONTENT ]]
   then
     CONTENT=$(python -c 'import random, string; \
       print "".join(random.sample(string.lowercase, 16))')
   fi
   echo "$CONTENT" > $1
   silent git add $1
 }
 
 # Add a special callout marker at the given line offset to indicate to
 # filter_demo_output.py to add a callout at that offset.
 callout() {
   echo -e "\x1b[${1}c"
 }