diff options
| -rwxr-xr-x | with-shell | 4 | ||||
| -rwxr-xr-x | with-shell-on-error | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/with-shell b/with-shell new file mode 100755 index 0000000..6819aa6 --- /dev/null +++ b/with-shell @@ -0,0 +1,4 @@ +#!/bin/sh + +"$@" +exec "${SHELL:-sh}" diff --git a/with-shell-on-error b/with-shell-on-error new file mode 100755 index 0000000..40f9980 --- /dev/null +++ b/with-shell-on-error @@ -0,0 +1,3 @@ +#!/bin/sh + +"$@" || exec "${SHELL:-sh}" |