diff --git a/zshrc b/zshrc index 43c7f84..11bbd87 100644 --- a/zshrc +++ b/zshrc @@ -14,7 +14,8 @@ export PATH=$PATH:/usr/local/sbin:/usr/sbin:/sbin:~/bin # Mise à jour automatique à partir du repo distant cd /home/$USER/rc -git fetch +# In case the network is down, don't lock the terminal +timeout 3 git fetch git_st=$(command git status --porcelain -b 2> /dev/null) if $(echo "$git_st" | grep '^## .*ahead' &> /dev/null); then echo"You have unpushed business in /home/$USER/rc"