echo_quiet_disable=0; for argv in $*; do if [ "$argv" == "info" ]; then echo_quiet_disable=1; fi done function echo_quiet() { if [ "$echo_quiet_disable" == "1" ]; then echo "$*"; fi }