# HG changeset patch
# User HackBot
# Date 1467588420 0
# Node ID ebcf284eeb4fa11b6ef162fc065ecb3f76a20a55
# Parent  62de6fa2c08b4618d76fb7430046dfa5771a166b
<oerjan> ` mv she* bin

diff -r 62de6fa2c08b -r ebcf284eeb4f bin/shebang_args_or_input
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/shebang_args_or_input	Sun Jul 03 23:27:00 2016 +0000
@@ -0,0 +1,2 @@
+#!/bin/bash
+interp="$1"; script="$2"; shift 2; if [ "$#" -gt 0 ]; then printf '%s\n' "$*"; else cat; fi | "$interp" "$script"
diff -r 62de6fa2c08b -r ebcf284eeb4f shebang_args_or_input
--- a/shebang_args_or_input	Sun Jul 03 23:26:43 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"