annotate bin/print_args_or_input @ 4725:e4f72e2fe640

<oerjan> ` strings bin/searchlog | paste
author HackBot
date Tue, 19 Aug 2014 09:53:27 +0000
parents ab96ba09ae17
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4555
ab96ba09ae17 <oerjan> sed -i \'1i#!/bin/bash\' bin/print_args_or_input
HackBot
parents: 4488
diff changeset
1 #!/bin/bash
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
2 if [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi