Propellor.Property.DiskImage.PartSpec

Disk image partition specification.

Documentation

type PartSpec t = (Maybe MountPoint, MountOpts, PartSize -> Partition, t)

Specifies a mount point, mount options, and a constructor for a Partition that determines its size.

data Fs

Filesystems etc that can be used for a partition.

Constructors

EXT2

EXT3

EXT4

BTRFS

REISERFS

XFS

FAT

VFAT

NTFS

LinuxSwap

Instances

Eq Fs

Defined in Propellor.Property.Partition

Methods

(==) :: Fs -> Fs -> Bool

(/=) :: Fs -> Fs -> Bool

Show Fs

Defined in Propellor.Property.Partition

Methods

showsPrec :: Int -> Fs -> ShowS

show :: Fs -> String

showList :: [Fs] -> ShowS

PartedVal Fs

Defined in Propellor.Property.Parted.Types

Methods

pval :: Fs -> String

data PartSize

Size of a partition.

Constructors

MegaBytes Integer

Bytes Integer

Instances

Show PartSize

Defined in Propellor.Property.Parted.Types

Methods

showsPrec :: Int -> PartSize -> ShowS

show :: PartSize -> String

showList :: [PartSize] -> ShowS

Semigroup PartSize

Defined in Propellor.Property.Parted.Types

Methods

(<>) :: PartSize -> PartSize -> PartSize

sconcat :: NonEmpty PartSize -> PartSize

stimes :: Integral b => b -> PartSize -> PartSize

Monoid PartSize

Defined in Propellor.Property.Parted.Types

Methods

mempty :: PartSize

mappend :: PartSize -> PartSize -> PartSize

mconcat :: [PartSize] -> PartSize

partition :: Monoid t => Fs -> PartSpec t

Specifies a partition with a given filesystem.

The partition is not mounted anywhere by default; use the combinators below to configure it.

PartSpec combinators

swapPartition :: Monoid t => PartSize -> PartSpec t

Specifies a swap partition of a given size.

rawPartition :: Monoid t => PartSize -> PartSpec t

Specifies a partition without any filesystem, of a given size.

mountedAt :: PartSpec t -> MountPoint -> PartSpec t

Specifies where to mount a partition.

addFreeSpace :: PartSpec t -> PartSize -> PartSpec t

Partitions in disk images default to being sized large enough to hold the files that live in that partition.

This adds additional free space to a partition.

setSize :: PartSpec t -> PartSize -> PartSpec t

Specify a fixed size for a partition.

mountOpt :: ToMountOpts o => PartSpec t -> o -> PartSpec t

Specifies a mount option, such as "noexec"

errorReadonly :: MountOpts

Mount option to make a partition be remounted readonly when there's an error accessing it.

reservedSpacePercentage :: PartSpec t -> Int -> PartSpec t

Sets the percent of the filesystem blocks reserved for the super-user.

The default is 5% for ext2 and ext4. Some filesystems may not support this.

setFlag :: PartSpec t -> PartFlag -> PartSpec t

Sets a flag on the partition.

extended :: PartSpec t -> PartSpec t

Makes a MSDOS partition be Extended, rather than Primary.

Partition properties

These properties do not do any disk partitioning on their own, but the Info they set can be used when building a disk image for a host.

hasPartition :: PartSpec PartLocation -> Property (HasInfo + UnixLike)

Indicates that a host has a partition.

For example:

	& hasPartiton (partition EXT2 `mountedAt` "/boot" `partLocation` Beginning)
	& hasPartiton (partition EXT4 `mountedAt` "/")
	& hasPartiton (partition EXT4 `mountedAt` "/home" `partLocation` End `reservedSpacePercentage` 0)

adjustPartition :: MountPoint -> (PartSpec PartLocation -> PartSpec PartLocation) -> Property (HasInfo + UnixLike)

Adjusts the PartSpec for the partition mounted at the specified location.

For example:

	& adjustPartition "/boot" (`addFreeSpace` MegaBytes 150)

data PartLocation

Indicates partition layout in a disk. Default is somewhere in the middle.

Constructors

Beginning

Middle

End

Instances

Eq PartLocation

Defined in Propellor.Property.DiskImage.PartSpec

Methods

(==) :: PartLocation -> PartLocation -> Bool

(/=) :: PartLocation -> PartLocation -> Bool

Ord PartLocation

Defined in Propellor.Property.DiskImage.PartSpec

Methods

compare :: PartLocation -> PartLocation -> Ordering

(<) :: PartLocation -> PartLocation -> Bool

(<=) :: PartLocation -> PartLocation -> Bool

(>) :: PartLocation -> PartLocation -> Bool

(>=) :: PartLocation -> PartLocation -> Bool

max :: PartLocation -> PartLocation -> PartLocation

min :: PartLocation -> PartLocation -> PartLocation

Semigroup PartLocation

Defined in Propellor.Property.DiskImage.PartSpec

Methods

(<>) :: PartLocation -> PartLocation -> PartLocation

sconcat :: NonEmpty PartLocation -> PartLocation

stimes :: Integral b => b -> PartLocation -> PartLocation

Monoid PartLocation

Defined in Propellor.Property.DiskImage.PartSpec

Methods

mempty :: PartLocation

mappend :: PartLocation -> PartLocation -> PartLocation

mconcat :: [PartLocation] -> PartLocation

partLocation :: PartSpec PartLocation -> PartLocation -> PartSpec PartLocation

hasPartitionTableType :: TableType -> Property (HasInfo + UnixLike)

Indicates the partition table type of a host.

When not specified, the default is MSDOS.

For example:

	& hasPartitionTableType GPT

data TableType

Types of partition tables supported by parted.

Constructors

MSDOS

GPT

AIX

AMIGA

BSD

DVH

LOOP

MAC

PC98

SUN

Instances

Show TableType

Defined in Propellor.Property.Parted.Types

Methods

showsPrec :: Int -> TableType -> ShowS

show :: TableType -> String

showList :: [TableType] -> ShowS

PartedVal TableType

Defined in Propellor.Property.Parted.Types

Methods

pval :: TableType -> String

data PartInfo

Instances

Show PartInfo

Defined in Propellor.Property.DiskImage.PartSpec

Methods

showsPrec :: Int -> PartInfo -> ShowS

show :: PartInfo -> String

showList :: [PartInfo] -> ShowS

Semigroup PartInfo

Defined in Propellor.Property.DiskImage.PartSpec

Methods

(<>) :: PartInfo -> PartInfo -> PartInfo

sconcat :: NonEmpty PartInfo -> PartInfo

stimes :: Integral b => b -> PartInfo -> PartInfo

Monoid PartInfo

Defined in Propellor.Property.DiskImage.PartSpec

Methods

mempty :: PartInfo

mappend :: PartInfo -> PartInfo -> PartInfo

mconcat :: [PartInfo] -> PartInfo

IsInfo PartInfo

Defined in Propellor.Property.DiskImage.PartSpec

Methods

propagateInfo :: PartInfo -> PropagateInfo

toPartTableSpec :: PartInfo -> PartTableSpec

data PartTableSpec

Specifies a partition table.

Constructors

PartTableSpec TableType [PartSpec ()]

Instances

Show PartTableSpec

Defined in Propellor.Types.PartSpec

Methods

showsPrec :: Int -> PartTableSpec -> ShowS

show :: PartTableSpec -> String

showList :: [PartTableSpec] -> ShowS