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

1 files changed, 7 insertions, 2 deletions

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