diff options
| author | John Ankarström <john@ankarstrom.se> | 2021-07-12 13:24:49 +0200 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2021-07-12 13:27:07 +0200 |
| commit | 03d827e2fbc409ef97829f25b8eeca5204f81a3c (patch) | |
| tree | 6099f0feb9adf3425fba87549b164043e18bd0c7 /with/with-git | |
| parent | 45cddd072119c5abd7ec076cf28d51ee01f125b7 (diff) | |
| download | xutil-03d827e2fbc409ef97829f25b8eeca5204f81a3c.tar.gz | |
Re-organize files
Diffstat (limited to 'with/with-git')
| -rwxr-xr-x | with/with-git | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/with/with-git b/with/with-git new file mode 100755 index 0000000..8952a82 --- /dev/null +++ b/with/with-git @@ -0,0 +1,5 @@ +#!/bin/sh +[ x"$1" = x"-s" ] && { s=$1; shift; } || s= +"$@" +[ -z "$s" ] || git status +exec repl "${GIT:-git}" |