Safe Haskell | None |
---|---|
Language | Haskell98 |
Propellor.Property.Parted
- data TableType
- data PartTable = PartTable TableType [Partition]
- partTableSize :: PartTable -> ByteSize
- data Partition = Partition {}
- mkPartition :: Fs -> PartSize -> Partition
- data Fs
- newtype PartSize = MegaBytes Integer
- type ByteSize = Integer
- toPartSize :: ByteSize -> PartSize
- fromPartSize :: PartSize -> ByteSize
- reducePartSize :: PartSize -> PartSize -> PartSize
- type MkfsOpts = [String]
- data PartType
- data PartFlag
- data Eep = YesReallyDeleteDiskContents
- partitioned :: Eep -> FilePath -> PartTable -> Property NoInfo
- parted :: Eep -> FilePath -> [String] -> Property NoInfo
- installed :: Property NoInfo
Documentation
Types of partition tables supported by parted.
A disk's partition table.
partTableSize :: PartTable -> ByteSize Source
Gets the total size of the disk specified by the partition table.
A partition on the disk.
Constructors
Partition | |
mkPartition :: Fs -> PartSize -> Partition Source
Makes a Partition with defaults for non-important values.
Filesystems etc that can be used for a partition.
All partition sizing is done in megabytes, so that parted can automatically lay out the partitions.
Note that these are SI megabytes, not mebibytes.
toPartSize :: ByteSize -> PartSize Source
Rounds up to the nearest MegaByte.
fromPartSize :: PartSize -> ByteSize Source
reducePartSize :: PartSize -> PartSize -> PartSize Source
type MkfsOpts = [String] Source
Options passed to a mkfs.* command when making a filesystem.
Eg, ["-m0"]
Flags that can be set on a partition.
Constructors
YesReallyDeleteDiskContents |
partitioned :: Eep -> FilePath -> PartTable -> Property NoInfo Source
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!