diff options
| author | Paul Buetow <paul@buetow.org> | 2026-05-27 23:45:17 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-05-27 23:45:17 +0300 |
| commit | 428f7d6d16ea0fa3fe27780b89ae0d6d59cb5c82 (patch) | |
| tree | 87f1cb68dcb99f8ae869e4316e27f9790f2b73e1 /scripts/randomnote.rb | |
| parent | 387ae1e8dece4d890a4221099de841d2fda158a7 (diff) | |
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
Diffstat (limited to 'scripts/randomnote.rb')
0 files changed, 0 insertions, 0 deletions