From 5edbc5347f8e1ae2d23d48a8eaa742926705cf05 Mon Sep 17 00:00:00 2001 From: Evan Pratten Date: Sat, 19 Nov 2022 10:15:41 -0500 Subject: [PATCH] Speed up shell launch --- configs/zsh/info.sh | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/configs/zsh/info.sh b/configs/zsh/info.sh index 8522ddd..2a9c182 100644 --- a/configs/zsh/info.sh +++ b/configs/zsh/info.sh @@ -8,11 +8,11 @@ if [ -d $EWCONFIG_ROOT/.git ]; then fi fi -# 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 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 - echo "$fg[yellow]ewconfig is not up-to-date with origin$reset_color" - fi - fi -fi \ No newline at end of file +# # 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 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 +# echo "$fg[yellow]ewconfig is not up-to-date with origin$reset_color" +# fi +# fi +# fi \ No newline at end of file