diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-07-23 00:44:27 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-07-23 02:02:07 +0200 |
| commit | 2c071ce96e7e4049be3ae2eb958077566d3b4ea0 (patch) | |
| tree | 0f4e3f8c84d42839064d9b8c4441642f3e9b2b9a /gnu/system.scm | |
| parent | a85b83d2270673fdb00d03bbec7e3378c6adcac2 (diff) | |
| download | guix-2c071ce96e7e4049be3ae2eb958077566d3b4ea0.tar guix-2c071ce96e7e4049be3ae2eb958077566d3b4ea0.tar.gz | |
system: Recognize more file system flags.
* guix/build/linux-initrd.scm (MS_NOSUID, MS_NODEV, MS_NOEXEC): New
variables.
(mount-flags->bit-mask): New procedure.
(mount-file-system)[flags->bit-mask]: Remove.
Use 'mount-flags->bit-mask' instead.
In /etc/mtab, use the empty string when OPTIONS is false.
* gnu/services/base.scm (file-system-service): Add #:flags parameter and
honor it.
* gnu/system.scm (other-file-system-services): Pass FLAGS to
'file-system-service'.
Diffstat (limited to 'gnu/system.scm')
| -rw-r--r-- | gnu/system.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 8c6fc13059..4648d810a3 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -186,7 +186,8 @@ as 'needed-for-boot'." #:title title #:check? check? #:create-mount-point? create? - #:options opts))) + #:options opts + #:flags flags))) file-systems))) (define (essential-services os) |