diff --git a/fake_home/.zshrc b/fake_home/.zshrc index 4b8752a..cab9dc2 100644 --- a/fake_home/.zshrc +++ b/fake_home/.zshrc @@ -185,6 +185,10 @@ function getdot { echo "An alias for scpace has not been defined on this device!" return 1 fi + if ! ping -c 1 sagev.space &> /dev/null; then + echo "Could not reach sagev.space" + return 1 + fi cd "$DOT_DIR" || return 1 git pull && ./copy.sh