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   }