diff options
| author | John Ankarstrom <john@ankarstrom.se> | 2021-07-02 18:43:28 +0200 |
|---|---|---|
| committer | John Ankarstrom <john@ankarstrom.se> | 2021-07-02 18:43:28 +0200 |
| commit | abb5f84bd3936685d8515bd1b6f4c6622fda8a6e (patch) | |
| tree | 0e3be86e4b621065019c8899ced444bc59a7e269 | |
| parent | 8fe8976be104c840e760cd02c6558ead9ae4de8c (diff) | |
| download | xutil-abb5f84bd3936685d8515bd1b6f4c6622fda8a6e.tar.gz | |
Add 'with-git' utility
| -rwxr-xr-x | with-git | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/with-git b/with-git new file mode 100755 index 0000000..f313908 --- /dev/null +++ b/with-git @@ -0,0 +1,3 @@ +#!/bin/sh +"$@" +exec repl "${GIT:-git}" |