From c7a8c812add892eb7f7b7068d258efa01095fcde Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 19 Nov 2017 15:21:53 -0400 Subject: partition table in Info Diskimage.imageBuiltFor: New property to build a disk image for a Host, using partition table information configured via the new properties hasPartitionTableType, hasPartition and adjustPartition. This lets Machine properties include eg /boot partitions that are known to be needed by the bootloader, and the user can adjust those partitions and add others. This commit was sponsored by Brock Spratlen on Patreon. --- src/Propellor/Types/PartSpec.hs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/Propellor/Types') diff --git a/src/Propellor/Types/PartSpec.hs b/src/Propellor/Types/PartSpec.hs index 860b38f6..c6f9aa7a 100644 --- a/src/Propellor/Types/PartSpec.hs +++ b/src/Propellor/Types/PartSpec.hs @@ -6,3 +6,9 @@ import Propellor.Property.Mount -- | Specifies a mount point, mount options, and a constructor for a -- Partition that determines its size. type PartSpec t = (Maybe MountPoint, MountOpts, PartSize -> Partition, t) + +-- | Specifies a partition table. +data PartTableSpec = PartTableSpec TableType [PartSpec ()] + +instance Show PartTableSpec where + show (PartTableSpec tt _) = "PartTableSpec " ++ show tt -- cgit v1.2.3