diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-10-14 21:16:55 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-10-14 21:39:06 +0200 |
| commit | 5f44ee4fa02699effed459266ff00a958bfd788e (patch) | |
| tree | 94eee31563e40f46e9f21a0b4f8ede80dc0cdc50 /gnu/services | |
| parent | 6f305ea5fdb239bdac5ab9c1d7b837f3177a025a (diff) | |
| download | patches-5f44ee4fa02699effed459266ff00a958bfd788e.tar patches-5f44ee4fa02699effed459266ff00a958bfd788e.tar.gz | |
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.scm | 10 |
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) |