propellor-3.0.1: property-based host configuration management in haskell

Safe HaskellNone
LanguageHaskell98

Propellor.Property.Partition

Synopsis

Documentation

data Fs Source

Filesystems etc that can be used for a partition.

Constructors

EXT2 
EXT3 
EXT4 
BTRFS 
REISERFS 
XFS 
FAT 
VFAT 
NTFS 
LinuxSwap 

Instances

data Eep Source

Constructors

YesReallyFormatPartition 

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

Formats a partition.

type MkfsOpts = [String] Source

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

Eg, ["-m0"]

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

data LoopDev Source

Constructors

LoopDev 

Fields

partitionLoopDev :: FilePath

device for a loop partition

wholeDiskLoopDev :: FilePath

corresponding device for the whole loop disk

Instances

isLoopDev :: LoopDev -> IO Bool Source

isLoopDev' :: FilePath -> IO Bool Source

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

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] Source