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

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 in the file ~/.propellor/config.hs. 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, 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). apt-get install propellor or cabal install propellor or cabal unpack propellor; cd propellor-version; stack install
  2. Run propellor --init ; this will set up a ~/.propellor/ git repository for you.
  3. Edit ~/.propellor/config.hs, and add a host you want to manage. You can start by not adding any properties, or only a few.
  4. Run: propellor --spin $HOST
  5. Now you have a simple propellor deployment to a host. Continue editing ~/.propellor/config.hs to further configure the host, add more hosts etc, and re-run propellor --spin $HOST after each change.
  6. Once you have a lot of hosts, and running propellor --spin HOST for each host becomes tiresome, you can automate that.
  7. Write some neat new properties and send patches!

(Want to get your feet wet with propellor before plunging in? try this)

news

version 5.17
Posted 1 year and 9 months ago
version 5.16
Posted 1 year and 9 months ago
version 5.15
Posted 2 years and 3 months ago
version 5.14.1
Posted 2 years and 4 months ago
version 5.14
Posted 2 years and 4 months ago
propellor demo
Posted 10 years and 6 months ago

enjoy

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.

posts

custom type checker errors for propellor
Posted 5 years and 8 months ago by joey
custom ARM disk image generation with propellor
Posted 7 years and 4 months ago by joey
unifying OS installation and configuration management
Posted 7 years and 7 months ago by joey
Functional Reactive Propellor
Posted 7 years and 8 months ago by joey
Linux.Conf.Au 2017 presentation on Propellor
Posted 8 years and 4 months ago by joey
type safe multi-OS Propellor
Posted 8 years and 11 months ago by joey
letsencrypt support in propellor
Posted 9 years and 1 month ago by joey
propelling disk images
Posted 9 years and 5 months ago by joey
propellor orchestration
Posted 9 years and 5 months ago by joey
then and now
Posted 9 years and 6 months ago by joey
making propellor safer with GADTs and type families
Posted 10 years and 1 month ago by joey
clean OS reinstalls with propellor
Posted 10 years and 3 months ago by joey
propelling containers
Posted 10 years and 4 months ago by joey
propellor is d-i 2.0
Posted 10 years and 6 months ago by joey
how I wrote init by accident
Posted 10 years and 10 months ago by joey
propellor-driven DNS and backups
Posted 10 years and 11 months ago by joey
propellor introspection for DNS
Posted 10 years and 11 months ago by joey
propellor type-safe reversions
Posted 10 years and 11 months ago by joey
adding docker support to propellor
Posted 10 years and 11 months ago by joey
introducing propellor
Posted 10 years and 11 months ago by joey
                      --     _         ______`|                          ,-.__ 
 {- Propellor          --  /   \___-=O`/|O`/__|                         (____.'
    Deployed -}         -- \          / | /    )             _.-"-._
                        --  `/-==__ _/__|/__=-|             (       \_
hosts :: [Host]        --   *             \ | |              '--------'
hosts =               --                  (o)  `