if [ $# -eq 0 ]	then		echo "Usage: out [-v] filenames" 1>&2		exit 1fiif [ "$1" = "-v" ]	then		shift		exec less "$@"	else		exec cat -- "$@"fi