changeset 8695:b09f2c5c49dd

<oerjan> ` chmod +x she*; mv she* bin
author HackBot
date Tue, 05 Jul 2016 01:20:24 +0000
parents a9cf092435ea
children 09e9103dfa78
files bin/shebang_args_or_input shebang_args_or_input
diffstat 2 files changed, 1 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/bin/shebang_args_or_input	Tue Jul 05 01:20:02 2016 +0000
+++ b/bin/shebang_args_or_input	Tue Jul 05 01:20:24 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"
--- a/shebang_args_or_input	Tue Jul 05 01:20:02 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"