From 428f7d6d16ea0fa3fe27780b89ae0d6d59cb5c82 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Wed, 27 May 2026 23:45:17 +0300
Subject: refactor: simplify gitsyncer config and improve NFS umount logic

- Remove unused gitsyncer host entry for paul@t450:git
- Remove 'playground' from repository list
- Enhance umount logic to handle already-unmounted NFS mounts gracefully
---
 gitsyncer/config.json | 7 +------
 scripts/wol-f3s       | 9 +++++++--
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/gitsyncer/config.json b/gitsyncer/config.json
index 127c9a5..a31dbe7 100644
--- a/gitsyncer/config.json
+++ b/gitsyncer/config.json
@@ -13,10 +13,6 @@
       "backupLocation": true,
       "descriptionSyncHost": "root@r0",
       "descriptionSyncRoot": "/data/nfs/k3svolumes/git-server/repos"
-    },
-    {
-      "host": "paul@t450:git",
-      "backupLocation": true
     }
   ],
   "repositories": [],
@@ -29,7 +25,6 @@
     "bratwurstmitsenf",
     "Adv360-Pro-ZMK",
     "katana",
-    "playground",
     "pages",
     "nvim"
   ],
@@ -39,4 +34,4 @@
   "showcase_stats_branches": {
     "foo.zone": "content-gemtext"
   }
-}
+}
\ No newline at end of file
diff --git a/scripts/wol-f3s b/scripts/wol-f3s
index 1036394..12a4ed5 100755
--- a/scripts/wol-f3s
+++ b/scripts/wol-f3s
@@ -80,8 +80,13 @@ umount_nfs_mounts() {
         if umount "$mp" 2>/dev/null; then
             echo "  ✓ Umounted $mp"
         else
-            echo "  ✗ Failed to umount $mp (in use or already unmounted?)"
-            failed=1
+            # If it's no longer listed in /proc/mounts, it's already gone.
+            if ! grep -q "^[^ ]* $mp nfs" /proc/mounts; then
+                echo "  ✓ $mp was already unmounted"
+            else
+                echo "  ✗ Failed to umount $mp (in use or already unmounted?)"
+                failed=1
+            fi
         fi
     done
 
-- 
cgit v1.2.3