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
---
 scripts/wol-f3s | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'scripts')

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