diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-14 00:48:43 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-14 00:48:43 +0100 |
| commit | 48bd76e0099918ad54f41480cff03bf87a1c5ef0 (patch) | |
| tree | a4e6a72180cd8eccc9aa2f689462edd9fe18b7cd | |
| parent | cd4a3cb359467c53e2ddd7240845b55b1129c91d (diff) | |
services: user-unmount: Change directory to "/" before unmounting.
* gnu/services/base.scm (user-unmount-service): Add 'chdir' call.
| -rw-r--r-- | gnu/services/base.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/services/base.scm b/gnu/services/base.scm index 0c45d54d17..712222bdde 100644 --- a/gnu/services/base.scm +++ b/gnu/services/base.scm @@ -161,6 +161,9 @@ in KNOWN-MOUNT-POINTS when it is stopped." (cons* "/proc" "/sys" '#$known-mount-points))) + ;; Make sure we don't keep the user's mount points busy. + (chdir "/") + (for-each (lambda (mount-point) (format #t "unmounting '~a'...~%" mount-point) (catch 'system-error |