# HG changeset patch
# User HackBot
# Date 1467682150 0
# Node ID 0b6fb0800ab833e7753db2c1deac209fe0a68ea7
# Parent  09e9103dfa78898717685efc6205b788661558ba
<oerjan> fetch http://oerjan.nvg.org/shebang_args_or_input

diff -r 09e9103dfa78 -r 0b6fb0800ab8 shebang_args_or_input
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shebang_args_or_input	Tue Jul 05 01:29:10 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"