diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-22 00:25:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-22 00:29:21 +0100 |
| commit | be21979d85304fedd5c0fb970ffc337d220eda7a (patch) | |
| tree | 412dd53a12dbd483a95e541c86e2eec6881e9f3d /gnu/system | |
| parent | e43e84ba7a566abf3f6d552e494b34b483820a5b (diff) | |
file-systems: Add a 'mount?' field.
Fixes <http://bugs.gnu.org/22176>.
Reported by Florian Paul Schmidt <mista.tapas@gmx.net>.
* gnu/system/file-systems.scm (<file-system>)[mount?]: New field.
(file-system->spec): Adjust accordingly.
* gnu/services/base.scm (file-system-dmd-service): Return the empty list
when FILE-SYSTEM has 'mount?' set to false.
(user-processes-service): Select the subset of FILE-SYSTEMS that matches
'file-system-mount?'.
* doc/guix.texi (File Systems): Document it.
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/file-systems.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm index 0a4b385fe33..47a3dbc1e8b 100644 --- a/gnu/system/file-systems.scm +++ b/gnu/system/file-systems.scm | |||
| @@ -35,6 +35,7 @@ | |||
| 35 | file-system-needed-for-boot? | 35 | file-system-needed-for-boot? |
| 36 | file-system-flags | 36 | file-system-flags |
| 37 | file-system-options | 37 | file-system-options |
| 38 | file-system-mount? | ||
| 38 | file-system-check? | 39 | file-system-check? |
| 39 | file-system-create-mount-point? | 40 | file-system-create-mount-point? |
| 40 | file-system-dependencies | 41 | file-system-dependencies |
| @@ -93,6 +94,8 @@ | |||
| 93 | (default '())) | 94 | (default '())) |
| 94 | (options file-system-options ; string or #f | 95 | (options file-system-options ; string or #f |
| 95 | (default #f)) | 96 | (default #f)) |
| 97 | (mount? file-system-mount? ; Boolean | ||
| 98 | (default #t)) | ||
| 96 | (needed-for-boot? %file-system-needed-for-boot? ; Boolean | 99 | (needed-for-boot? %file-system-needed-for-boot? ; Boolean |
| 97 | (default #f)) | 100 | (default #f)) |
| 98 | (check? file-system-check? ; Boolean | 101 | (check? file-system-check? ; Boolean |
| @@ -112,7 +115,7 @@ file system." | |||
| 112 | "Return a list corresponding to file-system FS that can be passed to the | 115 | "Return a list corresponding to file-system FS that can be passed to the |
| 113 | initrd code." | 116 | initrd code." |
| 114 | (match fs | 117 | (match fs |
| 115 | (($ <file-system> device title mount-point type flags options _ check?) | 118 | (($ <file-system> device title mount-point type flags options _ _ check?) |
| 116 | (list device title mount-point type flags options check?)))) | 119 | (list device title mount-point type flags options check?)))) |
| 117 | 120 | ||
| 118 | (define %uuid-rx | 121 | (define %uuid-rx |
