diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-10 22:25:39 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-10 22:42:14 +0100 |
| commit | d6e2a622c49184390d362abf97ca1c56498cfd6a (patch) | |
| tree | 83543c98a446ad7d67eac35952542af4b6ab1b1f /gnu/system | |
| parent | ccea821befc96a2c5e0c64b1a18eef0f31abe0a7 (diff) | |
| download | patches-d6e2a622c49184390d362abf97ca1c56498cfd6a.tar patches-d6e2a622c49184390d362abf97ca1c56498cfd6a.tar.gz | |
services: Add 'user-unmount-service' as an essential service.
* gnu/services/base.scm (user-unmount-service): New procedure.
* gnu/system.scm (essential-services): Use it.
* gnu/system/install.scm (cow-store-service): Mention it in comment.
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/install.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/system/install.scm b/gnu/system/install.scm index 12470d16c9..6b3aa6cbf2 100644 --- a/gnu/system/install.scm +++ b/gnu/system/install.scm @@ -112,7 +112,9 @@ the given target.") (stop #~(lambda (target) ;; Delete the temporary directory, but leave everything ;; mounted as there may still be processes using it - ;; since 'user-processes' doesn't depend on us. + ;; since 'user-processes' doesn't depend on us. The + ;; 'user-unmount' service will unmount TARGET + ;; eventually. (delete-file-recursively (string-append target #$%backing-directory)))))))) |