diff options
Diffstat (limited to 'gnu/services')
| -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 "/") |