view bin/print_args_or_input @ 4555:ab96ba09ae17

<oerjan> sed -i \'1i#!/bin/bash\' bin/print_args_or_input
author HackBot
date Sun, 13 Apr 2014 12:55:54 +0000
parents 9c8449758bbd
children
line wrap: on
line source

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