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

Safe HaskellNone





debootstrapped :: DebootstrapConfig -> FilePath -> Props metatypes -> Chroot Source #

Defines a Chroot at the given location, built with debootstrap.

Properties can be added to configure the Chroot. At a minimum, add a property such as osDebian to specify the operating system to bootstrap.

 debootstrapped Debootstrap.BuildD "/srv/chroot/ghc-dev" $ props
	& osDebian Unstable X86_64
	& Apt.installed ["ghc", "haskell-platform"]
	& ...

bootstrapped :: ChrootBootstrapper b => b -> FilePath -> Props metatypes -> Chroot Source #

Defines a Chroot at the given location, bootstrapped with the specified ChrootBootstrapper.

provisioned :: Chroot -> RevertableProperty (HasInfo + Linux) Linux Source #

Ensures that the chroot exists and is provisioned according to its properties.

Reverting this property removes the chroot. Anything mounted inside it is first unmounted. Note that it does not ensure that any processes that might be running inside the chroot are stopped.

hostChroot :: ChrootBootstrapper bootstrapper => Host -> bootstrapper -> FilePath -> Chroot Source #

Generates a Chroot that has all the properties of a Host.

Note that it's possible to create loops using this, where a host contains a Chroot containing itself etc. Such loops will be detected at runtime.

data Chroot where Source #

Specification of a chroot. Normally you'll use debootstrapped or bootstrapped or hostChroot to construct a Chroot value.


Chroot :: ChrootBootstrapper b => FilePath -> b -> InfoPropagator -> Host -> Chroot 

class ChrootBootstrapper b where Source #

Class of things that can do initial bootstrapping of an operating System in a chroot.

Minimal complete definition



buildchroot :: b -> Maybe System -> FilePath -> Either String (Property Linux) Source #

Do initial bootstrapping of an operating system in a chroot. If the operating System is not supported, return Left error message.

data Debootstrapped Source #

Use this to bootstrap a chroot with debootstrap.

data ChrootTarball Source #

Use this to bootstrap a chroot by extracting a tarball.

The tarball is expected to contain a root directory (no top-level directory, also known as a "tarbomb"). It may be optionally compressed with any format tar knows how to detect automatically.


ChrootTarball FilePath 

inChroot :: Propellor Bool Source #

Check if propellor is currently running within a chroot.

This allows properties to check and avoid performing actions that should not be done in a chroot.

exposeTrueLocaldir :: (FilePath -> Propellor a) -> Propellor a Source #

Runs an action with the true localdir exposed, not the one bind-mounted into a chroot. The action is passed the path containing the contents of the localdir outside the chroot.

In a chroot, this is accomplished by temporily bind mounting the localdir to a temp directory, to preserve access to the original bind mount. Then we unmount the localdir to expose the true localdir. Finally, to cleanup, the temp directory is bind mounted back to the localdir.

Internal use

propagateChrootInfo :: InfoPropagator Source #

propellChroot :: Chroot -> ([String] -> IO (CreateProcess, IO ())) -> Bool -> Property UnixLike Source #

Propellor is run inside the chroot to provision it.

chain :: [Host] -> CmdLine -> IO () Source #