Hi. On Sun, 10 Aug 2014 17:03:20 +0200 Tony van der Hoff <tony@vanderhoff.org> wrote: > DEBUG=1 > if [ $DEBUG -eq 0 ]; then > NULLOUT='>/dev/null' > fi > pushd $dir ${NULLOUT}; do_something; popd ${NULLOUT} > Try it like this: #DEBUG=1 OUT=/dev/null [ -z "$DEBUG" ] && OUT=/dev/stdout pushd $dir > $OUT; do_something; popd > $OUT Reco