From 447bcead8852eac10e43be45b12cf5a07f9a329f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Thu, 19 Sep 2024 16:54:06 +0200 Subject: [PATCH] services: file-system: Do not try to unmount /dev and /. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- gnu/services/base.scm | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 "/")