diff options
| -rw-r--r-- | README | 4 | ||||
| -rwxr-xr-x | usr/local/bin/gg | 4 |
2 files changed, 6 insertions, 2 deletions
@@ -5,7 +5,9 @@ It is configured as a bare Git repository in /.git. The following shell script (named gg) used to manage it: #!/bin/sh - exec git --git-dir=/.git --work-tree=/ "$@" + export GIT_DIR=/.git + export GIT_WORK_TREE=/ + exec git "$@" This README records important pieces of configuration that is not well represented in the file system. diff --git a/usr/local/bin/gg b/usr/local/bin/gg index 3526088..1511fe5 100755 --- a/usr/local/bin/gg +++ b/usr/local/bin/gg @@ -1,2 +1,4 @@ #!/bin/sh -exec git --git-dir=/.git --work-tree=/ "$@" +export GIT_DIR=/.git +export GIT_WORK_TREE=/ +exec git "$@" |