annotate bin/print_args_or_input @ 4506:34c9996417dd

<oerjan> mv paste/paste.26081{,.txt}
author HackBot
date Wed, 26 Feb 2014 19:30:04 +0000
parents 9c8449758bbd
children ab96ba09ae17
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4488
9c8449758bbd <ion> printf \'%s\\n\' \'if [ "$#" -gt 0 ]; then printf \'\\\'\'%s\\n\'\\\'\' "$*"; else cat; fi\' >bin/print_args_or_input && chmod 755 bin/print_args_or_input
HackBot
parents:
diff changeset
1 if [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi