diff options
author | John Ankarström <john@ankarstrom.se> | 2021-07-12 13:45:23 +0200 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2021-07-12 13:48:13 +0200 |
commit | 8a084f36bd0136e1c674ed3aa225d07d4125938b (patch) | |
tree | d88d764edc90e0629285fbb62357b4f4f8fdd438 | |
parent | cd40f6dd222f4b8fefc9bdf95187cb568a97f096 (diff) | |
download | lbsd-8a084f36bd0136e1c674ed3aa225d07d4125938b.tar.gz |
Fix gg command
-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 "$@" |