[PATCH] cogitio: sh != bash
From: Chris Wedgwood <hidden>
Date: 2016-06-15 22:41:59
Subsystem:
the rest · Maintainer:
Linus Torvalds
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