diff options
author | John Ankarstrom <john@ankarstrom.se> | 2021-07-02 18:25:40 +0200 |
---|---|---|
committer | John Ankarstrom <john@ankarstrom.se> | 2021-07-02 18:36:41 +0200 |
commit | 8fe8976be104c840e760cd02c6558ead9ae4de8c (patch) | |
tree | 5b5b5d93baf34f7d87949e031006daefa428c946 | |
parent | e48fa664f95ca7d34c824870528cfa3fc8687394 (diff) | |
download | xutil-8fe8976be104c840e760cd02c6558ead9ae4de8c.tar.gz |
Change formatting
-rwxr-xr-x | with-shell | 1 | ||||
-rwxr-xr-x | with-shell-on-error | 1 |
2 files changed, 0 insertions, 2 deletions
@@ -1,4 +1,3 @@ #!/bin/sh - "$@" exec "${SHELL:-sh}" diff --git a/with-shell-on-error b/with-shell-on-error index 40f9980..d29a1d6 100755 --- a/with-shell-on-error +++ b/with-shell-on-error @@ -1,3 +1,2 @@ #!/bin/sh - "$@" || exec "${SHELL:-sh}" |