# HG changeset patch
# User HackBot
# Date 1393035950 0
# Node ID 9c8449758bbdfc25e67e7d2029c57e9bdba90d30
# Parent  8b9db31bc694c6039623105cb1097529077ca59b
<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

diff -r 8b9db31bc694 -r 9c8449758bbd bin/print_args_or_input
--- /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