summaryrefslogtreecommitdiff
path: root/gnu/services
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-10-14 21:16:55 +0200
committerLudovic Courtès <ludo@gnu.org>2015-10-14 21:39:06 +0200
commit5f44ee4fa02699effed459266ff00a958bfd788e (patch)
tree94eee31563e40f46e9f21a0b4f8ede80dc0cdc50 /gnu/services
parent6f305ea5fdb239bdac5ab9c1d7b837f3177a025a (diff)
services: Unmount user file systems after process termination.
* gnu/services/base.scm (user-unmount-service-type): Change label and dmd name to 'user-file-systems'. (user-processes-service-type)[requirement]: Add 'user-file-systems'.
Diffstat (limited to 'gnu/services')
-rw-r--r--gnu/services/base.scm10
1 files changed, 5 insertions, 5 deletions
diff --git a/gnu/services/base.scm b/gnu/services/base.scm
index 84869ae31b..336cc4dec9 100644
--- a/gnu/services/base.scm
+++ b/gnu/services/base.scm
@@ -207,11 +207,11 @@ object."
(define user-unmount-service-type
(dmd-service-type
- 'user-unmount
+ 'user-file-systems
(lambda (known-mount-points)
(dmd-service
(documentation "Unmount manually-mounted file systems.")
- (provision '(user-unmount))
+ (provision '(user-file-systems))
(start #~(const #t))
(stop #~(lambda args
(define (known? mount-point)
@@ -251,9 +251,9 @@ in KNOWN-MOUNT-POINTS when it is stopped."
(dmd-service
(documentation "When stopped, terminate all user processes.")
(provision '(user-processes))
- (requirement (cons 'root-file-system
- (map file-system->dmd-service-name
- requirements)))
+ (requirement (cons* 'root-file-system 'user-file-systems
+ (map file-system->dmd-service-name
+ requirements)))
(start #~(const #t))
(stop #~(lambda _
(define (kill-except omit signal)