# HG changeset patch
# User HackBot
# Date 1467684688 0
# Node ID 63a34b59b3422369a8630e2abeca49c313e22bf6
# Parent  eed2a3355ca3f775727439fe4ef49fc3306b6ac8
<oerjan> ` chmod +x she*; mv she* bin

diff -r eed2a3355ca3 -r 63a34b59b342 bin/shebang_args_or_input
--- a/bin/shebang_args_or_input	Tue Jul 05 02:11:13 2016 +0000
+++ b/bin/shebang_args_or_input	Tue Jul 05 02:11:28 2016 +0000
@@ -1,2 +1,2 @@
 #!/bin/bash
-interp="$1"; script="$2"; shift 2; if [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi | $interp "$script"
+interp="$1"; script="$2"; shift 2; if [ "$#" -eq 1 ]; then printf '%s\n' "$1"; else cat; fi | { shift; $interp "$script" "$@"; }
diff -r eed2a3355ca3 -r 63a34b59b342 shebang_args_or_input
--- a/shebang_args_or_input	Tue Jul 05 02:11:13 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-#!/bin/bash
-interp="$1"; script="$2"; shift 2; if [ "$#" -eq 1 ]; then printf '%s\n' "$1"; else cat; fi | { shift; $interp "$script" "$@"; }