diff options
| -rw-r--r-- | gitsyncer/config.json | 7 | ||||
| -rwxr-xr-x | 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 |