Propellor is a configuration management system using Haskell and Git. Each system has a list of properties, which Propellor ensures are satisfied.

Propellor is configured via a git repository, which typically lives in ~/.propellor/ on your development machine. Propellor clones the repository to each host it manages, in a secure way. See components for details.

Properties are defined using Haskell. Edit ~/.propellor/config.hs to get started. There is fairly complete API documentation, which includes many built-in Properties for dealing with Apt and Apache , Cron and Commands , Dns and Docker, etc.

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!

If using Haskell to configure Propellor seems intimidating, see configuration for the Haskell newbie.

quick start

  1. Get propellor installed on your development machine (ie, laptop). cabal install propellor or apt-get install propellor
  2. Run propellor for the first time. It will set up a ~/.propellor/ git repository for you.
  3. If you don't have a gpg private key already, generate one: gpg --gen-key
  4. Run: propellor --add-key $KEYID, which will make propellor trust your gpg key, and will sign your ~/.propellor repository using it.
  5. Edit ~/.propellor/config.hs, and add a host you want to manage. You can start by not adding any properties, or only a few.
  6. Run: propellor --spin $HOST
  7. Now you have a simple propellor deployment, but it doesn't do much to the host yet, besides installing propellor.
    So, edit ~/.propellor/config.hs to configure the host, add some properties to it, and re-run step 6.
    Repeat until happy and move on to the next host. :)
  8. Once you have a lot of hosts, and running propellor --spin HOST for each host becomes tiresome, you can automate that.
  9. Write some neat new properties and send patches!


version 2.15.4
Posted Thu Feb 11 16:53:17 2016
version 2.15.3
Posted Tue Jan 12 16:42:47 2016
version 2.15.2
Posted Sun Jan 3 21:02:59 2016
version 2.15.1
Posted Sat Dec 19 21:03:31 2015
version 2.15.0
Posted Sun Dec 6 19:40:54 2015
propellor demo
Posted Mon Sep 15 18:49:16 2014


Hope you find Propellor fun and useful!

Propellor is free software, licensed under the BSD license.

You are encouraged to send patches and improve it.
See contributing.


letsencrypt support in propellor
Posted Sun Feb 7 22:10:20 2016 by joey
propelling disk images
Posted Fri Oct 23 02:09:17 2015 by joey
propellor orchestration
Posted Thu Oct 22 01:02:58 2015 by joey
then and now
Posted Thu Aug 27 00:01:59 2015 by joey
making propellor safer with GADTs and type families
Posted Sun Jan 25 03:54:14 2015 by joey
clean OS reinstalls with propellor
Posted Fri Dec 5 20:24:32 2014 by joey
propelling containers
Posted Fri Nov 21 21:33:06 2014 by joey
propellor is d-i 2.0
Posted Mon Sep 8 09:32:25 2014 by joey
how I wrote init by accident
Posted Wed May 14 15:05:49 2014 by joey
propellor-driven DNS and backups
Posted Sat Apr 19 07:08:45 2014 by joey
propellor introspection for DNS
Posted Fri Apr 11 05:05:54 2014 by joey
propellor type-safe reversions
Posted Wed Apr 2 17:09:02 2014 by joey
adding docker support to propellor
Posted Tue Apr 1 08:22:41 2014 by joey
introducing propellor
Posted Sun Mar 30 07:50:42 2014 by joey
                      --     _         ______`|                          ,-.__ 
 {- Propellor          --  /   \___-=O`/|O`/__|                         (____.'
    Deployed -}         -- \          / | /    )             _.-"-._
                        --  `/-==__ _/__|/__=-|             (       \_
hosts :: [Host]        --   *             \ | |              '--------'
hosts =               --                  (o)  `