evan/ewconfig
1
Fork 0
Code

Speed up shell launch

Browse Source
This commit is contained in:
Evan Pratten 2022-11-19 10:15:41 -05:00
parent 3babdcb719
commit 5edbc5347f
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
configs/zsh/info.sh
View File

@ -8,11 +8,11 @@ if [ -d $EWCONFIG_ROOT/.git ]; then
fi fi
fi fi
# Determine if $EWCONFIG_ROOT is up-to-date with origin. Only do this if we have network connectivity. # # Determine if $EWCONFIG_ROOT is up-to-date with origin. Only do this if we have network connectivity.
if [ -d $EWCONFIG_ROOT/.git ]; then # if [ -d $EWCONFIG_ROOT/.git ]; then
if ping -c 1 -W 1 git.github.com &> /dev/null; then # if ping -c 1 -W 1 git.github.com &> /dev/null; then
if [ -n "$(git -C $EWCONFIG_ROOT fetch --dry-run 2>&1 | grep -v 'up to date')" ]; then # if [ -n "$(git -C $EWCONFIG_ROOT fetch --dry-run 2>&1 | grep -v 'up to date')" ]; then
echo "$fg[yellow]ewconfig is not up-to-date with origin$reset_color" # echo "$fg[yellow]ewconfig is not up-to-date with origin$reset_color"
fi # fi
fi # fi
fi # fi