Rename auto-fetch variables
This commit is contained in:
parent
617e1f46ca
commit
b281c9949b
1 changed files with 3 additions and 3 deletions
|
@ -31,8 +31,8 @@ git__fetch() {
|
|||
then dir="$(cat $top/.git | sed -e 's/^gitdir: //')"
|
||||
else dir="$1/.git"
|
||||
fi
|
||||
if [ -n "$BASH_AUTOFETCH_TIMEOUT" ]; then
|
||||
timeout=$BASH_AUTOFETCH_TIMEOUT
|
||||
if [ -n "$SHELL_AUTOFETCH_TIMEOUT" ]; then
|
||||
timeout=$SHELL_AUTOFETCH_TIMEOUT
|
||||
else
|
||||
timeout=60
|
||||
fi
|
||||
|
@ -56,7 +56,7 @@ gitprompt () {
|
|||
top=$(timeout 1 git rev-parse --show-toplevel 2>/dev/null)
|
||||
if [ -n "$top" ]
|
||||
then
|
||||
if [ "$BASH_AUTOFETCH" -gt 0 ]; then
|
||||
if [ "$SHELL_AUTOFETCH" -gt 0 ]; then
|
||||
autofetch=$(git__fetch $top)
|
||||
f=$((2-$autofetch))
|
||||
else
|
||||
|
|
Loading…
Reference in a new issue