From 7a3be1f16045b68c81c0f63ba9297837e177cf7f Mon Sep 17 00:00:00 2001
From: Sage Vaillancourt <sage@sagev.space>
Date: Fri, 8 Mar 2024 19:25:32 -0500
Subject: [PATCH] Add ping check to pushdot

---
 fake_home/.zshrc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/fake_home/.zshrc b/fake_home/.zshrc
index baa54e1..5eed3d2 100644
--- a/fake_home/.zshrc
+++ b/fake_home/.zshrc
@@ -170,6 +170,10 @@ function load-extensions {
 }
 
 function pushdot {
+    if ! ping -c 1 sagev.space &> /dev/null; then
+        echo "Could not reach sagev.space"
+        return 1
+    fi
     cd "$DOT_DIR" || return 1
     local res
     if ! git diff --quiet; then