view bin/print_args_or_input @ 4491:8f760d2d3e9d

<ion> sed -i -re \'s/echo ("?)\\$[@*]\\1 /print_args_or_input "$@" /g\' "bin/^.^" bin/aaaaaaaaa; cat "bin/^.^" bin/aaaaaaaaa
author HackBot
date Sat, 22 Feb 2014 02:37:17 +0000
parents 9c8449758bbd
children ab96ba09ae17
line wrap: on
line source

if [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi