Propellor.Property.Partition

Documentation

data Fs

Filesystems etc that can be used for a partition.

Constructors

EXT2

EXT3

EXT4

BTRFS

REISERFS

XFS

FAT

VFAT

NTFS

LinuxSwap

Instances

Show Fs

Defined in Propellor.Property.Partition

Methods

showsPrec :: Int -> Fs -> ShowS

show :: Fs -> String

showList :: [Fs] -> ShowS

Eq Fs

Defined in Propellor.Property.Partition

Methods

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

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

PartedVal Fs

Defined in Propellor.Property.Parted.Types

Methods

pval :: Fs -> String

parseFs :: String -> Maybe Fs

Parse commonly used names of filesystems.

data Eep

Constructors

YesReallyFormatPartition

formatted :: Eep -> Fs -> FilePath -> Property DebianLike

Formats a partition.

type MkfsOpts = [String]

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

Eg, ["-m0"]

formatted' :: MkfsOpts -> Eep -> Fs -> FilePath -> Property DebianLike

data LoopDev

Constructors

LoopDev

Fields

• partitionLoopDev :: FilePath

  device for a loop partition

• wholeDiskLoopDev :: FilePath

  corresponding device for the whole loop disk

Instances

Show LoopDev

Defined in Propellor.Property.Partition

Methods

showsPrec :: Int -> LoopDev -> ShowS

show :: LoopDev -> String

showList :: [LoopDev] -> ShowS

isLoopDev :: LoopDev -> IO Bool

isLoopDev' :: FilePath -> IO Bool

kpartx :: FilePath -> ([LoopDev] -> Property DebianLike) -> Property DebianLike

Uses the kpartx utility to create device maps for partitions contained within a disk image file. The resulting loop devices are passed to the property, which can operate on them. Always cleans up after itself, by removing the device maps after the property is run.

kpartxParse :: String -> [LoopDev]