diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-26 16:25:25 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-05-26 17:16:42 +0200 |
commit | bd3716f6fee127562935d86ff7f641197366769c (patch) | |
tree | 5d3dbf901fa407d28f06f5e30557f99ee0c568da /gnu/image.scm | |
parent | 6ac7526e488ad3dd73080d1c00efe2066b1bf0a2 (diff) | |
download | guix-bd3716f6fee127562935d86ff7f641197366769c.tar.gz |
image: Add partition file-system options support.
* gnu/image.scm (<partition>)[file-system-options]: New field, (partition-file-system-options): new exported procedure. * gnu/system/image.scm (partition->gexp): Adapt accordingly. * gnu/build/image.scm (sexp->partition): Also adapt accordingly, (make-ext-image): and pass file-system options to mke2fs.
Diffstat (limited to 'gnu/image.scm')
-rw-r--r-- | gnu/image.scm | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/gnu/image.scm b/gnu/image.scm index b434ed50e3..0a92d168e9 100644 --- a/gnu/image.scm +++ b/gnu/image.scm @@ -24,6 +24,7 @@ partition-size partition-offset partition-file-system + partition-file-system-options partition-label partition-uuid partition-flags @@ -46,14 +47,16 @@ (define-record-type* <partition> partition make-partition partition? - (device partition-device (default #f)) - (size partition-size) - (offset partition-offset (default 0)) - (file-system partition-file-system (default "ext4")) - (label partition-label (default #f)) - (uuid partition-uuid (default #f)) - (flags partition-flags (default '())) - (initializer partition-initializer (default #f))) + (device partition-device (default #f)) + (size partition-size) + (offset partition-offset (default 0)) + (file-system partition-file-system (default "ext4")) + (file-system-options partition-file-system-options + (default '())) + (label partition-label (default #f)) + (uuid partition-uuid (default #f)) + (flags partition-flags (default '())) + (initializer partition-initializer (default #f))) ;;; |