# HG changeset patch
# User HackBot
# Date 1397393754 0
# Node ID ab96ba09ae172029366deaa6ccbc46768896a4c0
# Parent  a84870c7953c54797055938b71c197f40d26c5c7
<oerjan> sed -i \'1i#!/bin/bash\' bin/print_args_or_input

diff -r a84870c7953c -r ab96ba09ae17 bin/print_args_or_input
--- a/bin/print_args_or_input	Sun Apr 13 12:50:38 2014 +0000
+++ b/bin/print_args_or_input	Sun Apr 13 12:55:54 2014 +0000
@@ -1,1 +1,2 @@
+#!/bin/bash
 if [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi