propellor-5.17: property-based host configuration management in haskell
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

Instances details
Show Fs Source # 
Instance details

Defined in Propellor.Property.Partition

Methods

showsPrec :: Int -> Fs -> ShowS #

show :: Fs -> String #

showList :: [Fs] -> ShowS #

Eq Fs Source # 
Instance details

Defined in Propellor.Property.Partition

Methods

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

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

PartedVal Fs Source # 
Instance details

Defined in Propellor.Property.Parted.Types

Methods

pval :: Fs -> String Source #

parseFs :: String -> Maybe Fs Source #

Parse commonly used names of filesystems.

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

data LoopDev Source #

Constructors

LoopDev 

Fields

Instances

Instances details
Show LoopDev Source # 
Instance details

Defined in Propellor.Property.Partition

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.