diff options
| author | danix <danix@danix.xyz> | 2023-04-18 07:10:03 +0200 |
|---|---|---|
| committer | danix <danix@danix.xyz> | 2023-04-18 07:10:03 +0200 |
| commit | 1f4d77422386502ce5a67b101be6d6f16eff2175 (patch) | |
| tree | 493fc8964eb93331951f81af5c797988cc1a325d /SOURCE/head.sh | |
| parent | bba0734fdb0ddeea845a8534b24daf13cbda9d1d (diff) | |
| download | bash-notes-1f4d77422386502ce5a67b101be6d6f16eff2175.tar.gz bash-notes-1f4d77422386502ce5a67b101be6d6f16eff2175.zip | |
added showconf option. Fixed bug that prevented the rc file from being correctly sourced for GIT variables.
Diffstat (limited to 'SOURCE/head.sh')
| -rw-r--r-- | SOURCE/head.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SOURCE/head.sh b/SOURCE/head.sh index 271367f..bce0d44 100644 --- a/SOURCE/head.sh +++ b/SOURCE/head.sh @@ -52,7 +52,7 @@ USEGIT=true # Address of your remote repository GITREMOTE=${GITREMOTE:-""} # How long should we wait (in seconds) between sync on the git remote. Default 3600 (1 hour) -GITSYNCDELAY=${GITSYNCDELAY:-3600} +GITSYNCDELAY=${GITSYNCDELAY:-"3600"} # The name of this client. Defaults to the output of hostname GITCLIENT=${GITCLIENT:-""} |