# HG changeset patch
# User HackBot
# Date 1467684673 0
# Node ID eed2a3355ca3f775727439fe4ef49fc3306b6ac8
# Parent  0f5ce12696b202017a399977122fc813158f1be7
<oerjan> fetch http://oerjan.nvg.org/shebang_args_or_input

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