diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-07-22 22:53:36 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-07-23 02:02:06 +0200 |
| commit | 4e469051a77d02435eafb1df93224a2ce1bb3146 (patch) | |
| tree | e0bb010dec21062caf959ba0cfdb7cfe3e28dc12 /gnu/system | |
| parent | 5ac12a4f778f1cce8aff10fe3ef30be1a85e4647 (diff) | |
| download | patches-4e469051a77d02435eafb1df93224a2ce1bb3146.tar patches-4e469051a77d02435eafb1df93224a2ce1bb3146.tar.gz | |
system: Add 'create-mount-point?' file system option.
* gnu/system/file-systems.scm (<file-system>)[create-mount-point?]: New
field.
* gnu/services/base.scm (file-system-service): Add #:create-mount-point?
parameter and honor it.
* gnu/system.scm (other-file-system-services): Update
'file-system-service' call accordingly.
* doc/guix.texi (File Systems): Document it.
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/file-systems.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm index 0c2021d7b4..ea8d961317 100644 --- a/gnu/system/file-systems.scm +++ b/gnu/system/file-systems.scm @@ -28,6 +28,8 @@ file-system-needed-for-boot? file-system-flags file-system-options + file-system-check? + file-system-create-mount-point? %fuse-control-file-system %binary-format-file-system @@ -57,7 +59,9 @@ (needed-for-boot? file-system-needed-for-boot? ; Boolean (default #f)) (check? file-system-check? ; Boolean - (default #t))) + (default #t)) + (create-mount-point? file-system-create-mount-point? ; Boolean + (default #f))) (define %fuse-control-file-system ;; Control file system for Linux' file systems in user-space (FUSE). |