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 /po | |
| 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 'po')
0 files changed, 0 insertions, 0 deletions