Propellor.Property.Parted

Types

data TableType

Types of partition tables supported by parted.

Constructors

MSDOS

GPT

AIX

AMIGA

BSD

DVH

LOOP

MAC

PC98

SUN

Instances

Show TableType

Methods

showsPrec :: Int -> TableType -> ShowS

show :: TableType -> String

showList :: [TableType] -> ShowS

PartedVal TableType

Methods

pval :: TableType -> String

data PartTable

A disk's partition table.

Constructors

PartTable TableType [Partition]

Instances

Show PartTable

Methods

showsPrec :: Int -> PartTable -> ShowS

show :: PartTable -> String

showList :: [PartTable] -> ShowS

Monoid PartTable

Methods

mempty :: PartTable

mappend :: PartTable -> PartTable -> PartTable

mconcat :: [PartTable] -> PartTable

partTableSize :: PartTable -> ByteSize

Gets the total size of the disk specified by the partition table.

data Partition

A partition on the disk.

Constructors

Partition

Fields

• partType :: PartType
• partSize :: PartSize
• partFs :: Fs
• partMkFsOpts :: MkfsOpts
• partFlags :: [(PartFlag, Bool)]

  flags can be set or unset (parted may set some flags by default)

• partName :: Maybe String

  optional name for partition (only works for GPT, PC98, MAC)

Instances

Show Partition

Methods

showsPrec :: Int -> Partition -> ShowS

show :: Partition -> String

showList :: [Partition] -> ShowS

mkPartition :: Fs -> PartSize -> Partition

Makes a Partition with defaults for non-important values.

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

Methods

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

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

Show Fs

Methods

showsPrec :: Int -> Fs -> ShowS

show :: Fs -> String

showList :: [Fs] -> ShowS

PartedVal Fs

Methods

pval :: Fs -> String

newtype PartSize

All partition sizing is done in megabytes, so that parted can automatically lay out the partitions.

Note that these are SI megabytes, not mebibytes.

Constructors

MegaBytes Integer

Instances

Show PartSize

Methods

showsPrec :: Int -> PartSize -> ShowS

show :: PartSize -> String

showList :: [PartSize] -> ShowS

Monoid PartSize

Methods

mempty :: PartSize

mappend :: PartSize -> PartSize -> PartSize

mconcat :: [PartSize] -> PartSize

PartedVal PartSize

Methods

pval :: PartSize -> String

type ByteSize = Integer

toPartSize :: ByteSize -> PartSize

Rounds up to the nearest MegaByte.

fromPartSize :: PartSize -> ByteSize

reducePartSize :: PartSize -> PartSize -> PartSize

type MkfsOpts = [String]

Options passed to a mkfs.* command when making a filesystem.

Eg, ["-m0"]

data PartType

Type of a partition.

Constructors

Primary

Logical

Extended

Instances

Show PartType

Methods

showsPrec :: Int -> PartType -> ShowS

show :: PartType -> String

showList :: [PartType] -> ShowS

PartedVal PartType

Methods

pval :: PartType -> String

data PartFlag

Flags that can be set on a partition.

Constructors

BootFlag

RootFlag

SwapFlag

HiddenFlag

RaidFlag

LvmFlag

LbaFlag

LegacyBootFlag

IrstFlag

EspFlag

PaloFlag

Instances

Show PartFlag

Methods

showsPrec :: Int -> PartFlag -> ShowS

show :: PartFlag -> String

showList :: [PartFlag] -> ShowS

PartedVal PartFlag

Methods

pval :: PartFlag -> String

Properties

partitioned :: Eep -> FilePath -> PartTable -> Property DebianLike

Partitions a disk using parted, and formats the partitions.

The FilePath can be a block device (eg, /dev/sda), or a disk image file.

This deletes any existing partitions in the disk! Use with EXTREME caution!

parted :: Eep -> FilePath -> [String] -> Property (DebianLike + ArchLinux)

Runs parted on a disk with the specified parameters.

Parted is run in script mode, so it will never prompt for input. It is asked to use cylinder alignment for the disk.

data Eep

Constructors

YesReallyDeleteDiskContents

installed :: Property (DebianLike + ArchLinux)

Gets parted installed.

PartSpec combinators

calcPartTable :: DiskSize -> TableType -> [PartSpec DiskPart] -> PartTable

Calculate a partition table, for a given size of disk.

For example:

	calcPartTable (DiskSize (1024 * 1024 * 1024 * 100)) MSDOS
 		[ partition EXT2 `mountedAt` "/boot"
 			`setSize` MegaBytes 256
 			`setFlag` BootFlag
		, partition EXT4 `mountedAt` "/"
			`useDisk` RemainingSpace
		]

newtype DiskSize

Size of a disk, in bytes.

Constructors

DiskSize ByteSize

Instances

Show DiskSize

Methods

showsPrec :: Int -> DiskSize -> ShowS

show :: DiskSize -> String

showList :: [DiskSize] -> ShowS

data DiskPart

Instances

Monoid DiskPart

Methods

mempty :: DiskPart

mappend :: DiskPart -> DiskPart -> DiskPart

mconcat :: [DiskPart] -> DiskPart

module Propellor.Types.PartSpec

data DiskSpaceUse

Constructors

Percent Int

RemainingSpace

useDiskSpace :: PartSpec DiskPart -> DiskSpaceUse -> PartSpec DiskPart

Make a partition use some percentage of the size of the disk (less all fixed size partitions), or the remaining space in the disk.