darkwiiplayer/darkrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix gitfetch script for submodules

Browse source
This commit is contained in:
Talia 2020-05-20 10:14:36 +02:00
parent 16f78c53cc
commit 7d335fb63d
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
bin/gitprompt
View file

@ -1,13 +1,17 @@
#!/bin/sh
git__fetch() {
if [ -f "$1/.git" ]
then dir="$(cat $top/.git | sed -e 's/^gitdir: //')"
else dir="$1/.git"
fi
if [ -n "$BASH_AUTOFETCH_TIMEOUT" ]; then
timeout=$BASH_AUTOFETCH_TIMEOUT
else
timeout=60
fi
if [ -f "$1/.git/FETCH_HEAD" ]; then
diff=$(($(date +%s) - $(stat -c %Y $1/.git/FETCH_HEAD)))
if [ -f "$dir/FETCH_HEAD" ]; then
diff=$(($(date +%s) - $(stat -c %Y $dir/FETCH_HEAD)))
else
diff=9999
fi
@ -16,7 +20,7 @@ git__fetch() {
else run=0
fi
if [ "$run" -gt 0 ]; then
touch $1/.git/FETCH_HEAD
touch $dir/FETCH_HEAD
nohup git fetch > /dev/null 2>&1 &
fi
echo $run