#!/bin/csh
#
# prefix runquiet to your commands to silence stderr messages 
#
# Michael L. Love
# GPL, Thu Jan 10 16:05:46 2008
#

#( $* > /dev/tty ) > & /dev/null

# This version below has the advantage of writing to stdio instead of /dev/tty, so 
# that the output can be piped.
#

( $* | sed s/^/%%%runquiet%%%/ ) | & grep '^%%%runquiet%%%' | sed s/^%%%runquiet%%%//