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

Propellor.Info

Synopsis

# Documentation

Specifies that a host's operating system is Debian, and further indicates the suite and architecture.

This provides info for other Properties, so they can act conditionally on the details of the OS.

It also lets the type checker know that all the properties of the host must support Debian.

	& osDebian (Stable "stretch") X86_64

Specifies that a host's operating system is a well-known Debian derivative founded by a space tourist.

(The actual name of this distribution is not used in Propellor per http://joeyh.name/blog/entry/trademark_nonsense/)

Specifies that a host's operating system is Arch Linux

Specifies that a host's operating system is FreeBSD and further indicates the release and architecture.

setInfoProperty :: (MetaTypes metatypes' ~ (+) HasInfo metatypes, SingI metatypes') => Property metatypes -> Info -> Property (MetaTypes metatypes') Source #

The new Property will include HasInfo in its metatypes.

addInfoProperty :: IncludesInfo metatypes ~ True => Property metatypes -> Info -> Property metatypes Source #

pureInfoProperty :: IsInfo v => Desc -> v -> Property (HasInfo + UnixLike) Source #

Makes a property that does nothing but set some Info.

Gets a value from the host's Info.

Indicate that a host has an A record in the DNS.

When propellor is used to deploy a DNS server for a domain, the hosts in the domain are found by looking for these and similar properites.

When propellor --spin is used to deploy a host, it checks if the host's IP Property matches the DNS. If the DNS is missing or out of date, the host will instead be contacted directly by IP address.

Indicate that a host has an AAAA record in the DNS.

Indicates another name for the host in the DNS.

When the host's ipv4/ipv6 addresses are known, the alias is set up to use their address, rather than using a CNAME. This avoids various problems with CNAMEs, and also means that when multiple hosts have the same alias, a DNS round-robin is automatically set up.