changeset 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
author HackBot
date Sat, 22 Feb 2014 02:25:50 +0000
parents 8b9db31bc694
children bd36f4329baa
files bin/print_args_or_input
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/print_args_or_input	Sat Feb 22 02:25:50 2014 +0000
@@ -0,0 +1,1 @@
+if [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi