propellor: property-based host configuration management in haskell

[ bsd2, library, program, utility ] [ Propose Tags ]

Propellor enures that the system it's run in satisfies a list of properties, taking action as necessary when a property is not yet met.

While Propellor can be installed from hackage, to customize and use it you should fork its git repository and modify it from there: git clone git:/git.kitenet.netpropellor

[Skip to Readme]
Versions [faq] 0.1, 0.1.1, 0.1.2, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.3.0, 0.3.1, 0.4.0, 0.5.0, 0.5.1, 0.5.3, 0.6.0, 0.7.0, 0.8.0, 0.8.1, 0.8.2, 0.8.3, 0.9.0, 0.9.1, 0.9.2, 1.0.0, 1.2.0, 1.2.1, 1.3.2, 2.1.0, 2.2.0, 2.2.1, 2.3.0, 2.4.0, 2.5.0, 2.6.0, 2.7.0, 2.7.1, 2.7.2, 2.7.3, 2.8.0, 2.8.1, 2.9.0, 2.10.0, 2.11.0, 2.12.0, 2.13.0, 2.14.0, 2.15.0, 2.15.1, 2.15.2, 2.15.3, 2.15.4, 2.16.0, 2.17.0, 2.17.1, 2.17.2, 3.0.0, 3.0.1, 3.0.2, 3.0.3, 3.0.4, 3.0.5, 3.1.0, 3.1.1, 3.1.2, 3.2.0, 3.2.1, 3.2.2, 3.2.3, 3.3.0, 3.3.1, 3.4.0, 3.4.1, 4.0.0, 4.0.1, 4.0.2, 4.0.3, 4.0.4, 4.0.6, 4.1.0, 4.2.0, 4.3.0, 4.3.1, 4.3.2, 4.3.3, 4.3.4, 4.4.0, 4.5.0, 4.5.1, 4.5.2, 4.6.0, 4.6.1, 4.6.2, 4.7.0, 4.7.1, 4.7.2, 4.7.3, 4.7.4, 4.7.5, 4.7.6, 4.7.7, 4.8.0, 4.8.1, 4.9.0, 5.0.0, 5.1.0, 5.2.0, 5.3.0, 5.3.1, 5.3.2, 5.3.3, 5.3.4, 5.3.5, 5.3.6, 5.4.0, 5.4.1, 5.5.0, 5.6.0, 5.6.1, 5.7.0, 5.8.0, 5.9.0, 5.9.1, 5.10.1, 5.10.2
Change log CHANGELOG
Dependencies ansi-terminal, async, base (>=4.5 && <5), bytestring, containers, directory, filepath, hslogger, IfElse, MissingH, network, process, unix, unix-compat [details]
License LicenseRef-GPL
Copyright 2014 Joey Hess
Author Joey Hess
Maintainer Joey Hess <>
Category Utility
Home page
Source repo head: git clone git://
Uploaded by JoeyHess at 2014-04-02T18:00:19Z
Distributions Debian:5.5.0, NixOS:5.10.2
Executables propellor
Downloads 67844 total (1906 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Successful builds reported [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for propellor-0.2.0

[back to package description]

This is a work in progress configuration management system using Haskell and Git.

Propellor enures that the system it's run in satisfies a list of properties, taking action as necessary when a property is not yet met.

The design is intentionally very minimal.

Propellor lives in a git repository. You'll typically want to have the repository checked out on a laptop, in order to make changes and push them out to hosts. Each host will also have a clone of the repository, and in that clone "make" can be used to build and run propellor. This can be done by a cron job (which propellor can set up), or a remote host can be triggered to update by running propellor on your laptop: propellor --spin $host

Properties are defined using Haskell. Edit config.hs to get started.

There is no special language as used in puppet, chef, ansible, etc.. just the full power of Haskell. Hopefully that power can be put to good use in making declarative properties that are powerful, nicely idempotent, and easy to adapt to a system's special needs.

Also avoided is any form of node classification. Ie, which hosts are part of which classes and share which configuration. It might be nice to use reclass[1], but then again a host is configured using simply haskell code, and so it's easy to factor out things like classes of hosts as desired.

quick start

  1. Clone propellor's git repository to your laptop (or whatever). git clone git:// or joeyh/propellor on github

  2. Run: sudo make deps # installs build dependencies

  3. Run: make build

  4. If you don't have a gpg private key, generate one: gpg --gen-key

  5. Run: ./propellor --add-key $KEYID

  6. Pick a host and run: ./propellor --spin $HOST

  7. Now you have a simple propellor deployment, but it doesn't do anything to the host yet, besides installing propellor.

    So, edit config.hs to configure the host (maybe start with a few simple properties), and re-run step 7. Repeat until happy and move on to the next host. :)

  8. To move beyond manually running propellor --spin against hosts when you change configuration, add a property to your hosts like: Cron.runPropellor "30 * * * *"

    Now they'll automatically update every 30 minutes, and you can git commit -S and git push changes that affect any number of hosts.

  9. Write some neat new properties and send patches to!


Propellor's security model is that the hosts it's used to deploy are untrusted, and that the central git repository server is untrusted.

The only trusted machine is the laptop where you run propellor --spin to connect to a remote host. And that one only because you have a ssh key or login password to the host.

Since the hosts propellor deploys are not trusted by the central git repository, they have to use git:// or http:// to pull from the central git repository, rather than ssh://.

So, to avoid a MITM attack, propellor checks that any commit it fetched from origin is gpg signed by a trusted gpg key, and refuses to deploy it otherwise.

That is only done when privdata/keyring.gpg exists. To set it up:

gpg --gen-key # only if you don't already have a gpg key propellor --add-key $MYKEYID

In order to be secure from the beginning, when propellor --spin is used to bootstrap propellor on a new host, it transfers the local git repositry to the remote host over ssh. After that, the remote host knows the gpg key, and will use it to verify git fetches.

Since the propoellor git repository is public, you can't store in cleartext private data such as passwords, ssh private keys, etc.

Instead, propellor --spin $host looks for a privdata/$host.gpg file and if found decrypts it and sends it to the remote host using ssh. This lets a remote host know its own private data, without seeing all the rest.

To securely store private data, use: propellor --set $host $field The field name will be something like 'Password "root"'; see PrivData.hs for available fields.


Set PROPELLOR_DEBUG=1 to make propellor print out all the commands it runs and any other debug messages Properties choose to emit.