# HG changeset patch
# User HackBot
# Date 1467682160 0
# Node ID 0a87835bb2f3c7f63a9135718042f9054103b51d
# Parent  0b6fb0800ab833e7753db2c1deac209fe0a68ea7
<oerjan> ` chmod +x she*; mv she* bin

diff -r 0b6fb0800ab8 -r 0a87835bb2f3 bin/shebang_args_or_input
--- a/bin/shebang_args_or_input	Tue Jul 05 01:29:10 2016 +0000
+++ b/bin/shebang_args_or_input	Tue Jul 05 01:29:20 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 [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi | $interp "$script"
diff -r 0b6fb0800ab8 -r 0a87835bb2f3 shebang_args_or_input
--- a/shebang_args_or_input	Tue Jul 05 01:29:10 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 [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi | $interp "$script"