services: Unmount user file systems after process termination.
authorLudovic Courtès <ludo@gnu.org>
Wed, 14 Oct 2015 19:16:55 +0000 (21:16 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 14 Oct 2015 19:39:06 +0000 (21:39 +0200)
commit5f44ee4fa02699effed459266ff00a958bfd788e
tree94eee31563e40f46e9f21a0b4f8ede80dc0cdc50
parent6f305ea5fdb239bdac5ab9c1d7b837f3177a025a
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'.
gnu/services/base.scm