diff options
| author | John Ankarström <john@ankarstrom.se> | 2021-06-09 20:21:08 +0200 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2021-06-09 20:21:08 +0200 |
| commit | e482cc410962335a5bac7b3524f2a3fda8a3cac6 (patch) | |
| tree | 720b6c7f9a63ad2b030a3c3cc7b8bc1deacdba18 | |
| parent | ce7991fea8e639afefe37aae1c0158a1ecc8d4f6 (diff) | |
| download | xutil-e482cc410962335a5bac7b3524f2a3fda8a3cac6.tar.gz | |
Add with-shell* utilities
| -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}" |