From: Chris Wedgwood <cw@f00f.org>
Date: Sun, 05 Jun 2005 07:45:33 GMT
Subject: [PATCH] cogitio: sh != bash
Message-ID: <20050605074533.GA18645@taniwha.stupidest.org>

Without this users of dash (or similar?) as /bin/sh will get
'substitution' warnings.


diff --git a/cg-patch b/cg-patch
--- a/cg-patch
+++ b/cg-patch
@@ -128,7 +128,7 @@ wait
 touchfiles="$(git-ls-files --deleted | join -v 2 $gonefile -)"
 [ "$touchfiles" ] && touch $touchfiles
 
-cat $todo | xargs -0 sh -c '
+cat $todo | xargs -0 bash -c '
 while [ "$1" ]; do
 	op="$1"; shift;
 	case "$op" in