diff options
author | Ludovic Courtès <ludo@gnu.org> | 2024-09-19 16:54:06 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-09-19 19:03:08 +0200 |
commit | 447bcead8852eac10e43be45b12cf5a07f9a329f (patch) | |
tree | 59e03c110065f418816cd21d5f6a7395ffe631d5 | |
parent | 80709f1411af2e8f627da2e41791abf085347642 (diff) | |
download | guix-447bcead8852eac10e43be45b12cf5a07f9a329f.tar guix-447bcead8852eac10e43be45b12cf5a07f9a329f.tar.gz |
services: file-system: Do not try to unmount /dev and /.
Previously, when being stopped, the ‘user-file-systems’ service would
attempt to unmount / and /dev, which was bound to fail. This was
harmless, apart from a couple of lines in /var/log/messages, but it was
wrong.
* gnu/services/base.scm (file-system-shepherd-services)[user-unmount]:
Remove “/” and “/dev” from the list of file systems subject to
unmounting.
Change-Id: Ieb68fe46c114909a64d54f885c94a9d7cd61f5e0
-rw-r--r-- | gnu/services/base.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/services/base.scm b/gnu/services/base.scm index feca7ecce9..819d063673 100644 --- a/gnu/services/base.scm +++ b/gnu/services/base.scm @@ -496,7 +496,10 @@ upon boot." (stop #~(lambda args (define (known? mount-point) (member mount-point - (cons* "/proc" "/sys" '#$known-mount-points))) + ;; Count file systems mounted by the initrd to as + ;; "known" and not user-mounted file systems. + (cons* "/" "/dev" "/proc" "/sys" + '#$known-mount-points))) ;; Make sure we don't keep the user's mount points busy. (chdir "/") |