propellor - property-based host configuration management in haskell

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name propellor
Package version 0.9.1
Package architecture i386
Package type deb
Installed size 1.54 KB
Download size 450.81 KB
Official Mirror
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.
It is configured using haskell.


Package Version Architecture Repository
propellor_0.9.1_amd64.deb 0.9.1 amd64 Debian Main
propellor - - -


Name Value
cabal-install -
ghc >= 7.4
git -
libc6 >= 2.11
libffi6 >= 3.0.4
libghc-ansi-terminal-dev -
libghc-async-dev -
libghc-hslogger-dev -
libghc-ifelse-dev -
libghc-missingh-dev -
libghc-monadcatchio-transformers-dev -
libghc-mtl-dev -
libghc-network-dev -
libghc-quickcheck2-dev -
libghc-unix-compat-dev -
libgmp10 -


Type URL
Binary Package propellor_0.9.1_i386.deb
Source Package propellor

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install propellor deb package:
    # sudo apt-get install propellor




2014-10-24 - Joey Hess <>
propellor (0.9.1) unstable; urgency=medium
* Docker: Add ability to control when containers restart.
* Docker: Default to always restarting containers, so they come back 
up after reboots and docker daemon upgrades.
* Fix loop when a docker host that does not exist was docked.
2014-10-10 - Joey Hess <>
propellor (0.9.0) unstable; urgency=medium
* Avoid encoding the current stable suite in propellor's code,
since that poses a difficult transition around the release,
and can easily be wrong if an older version of propellor is used.
Instead, the os property for a stable system includes the suite name
to use, eg Stable "wheezy".
* stdSourcesList uses the stable suite name, to avoid unwanted
immediate upgrades to the next stable release.
* debCdn switched from to, which seems to be
better managed now.
* Docker: Avoid committing container every time it's started up.
2014-08-22 - Joey Hess <>
propellor (0.8.3) unstable; urgency=medium
* The Debian package now includes a single-revision git repository in
/usr/src/propellor/, and ~/.propellor/ is set up to use this repository as
its origin remote. This avoids relying on the security of the github
repository when using the Debian package.
* The /usr/bin/propellor wrapper will warn when ~/.propellor/ is out of date
and a newer version is available, after which git merge upstream/master
can be run to merge it.
* Included the config.hs symlink to config-simple.hs in the cabal and Debian
2014-08-04 - Joey Hess <>
propellor (0.8.2) unstable; urgency=medium
* Fix bug in File.containsLines that caused lines that were already in the
file to sometimes be appended to the end.
* Hostname.sane also configures /etc/mailname.
* Fixed Postfix.satellite to really configure relayhost = smtp.domain.
* Avoid reconfiguring postfix unncessarily when it already has a relayhost.
* Deal with apache 2.4's change in the name of site-available config files.
* Hostname aliases can now be used in several places, including --spin
and Ssh.knownHost.
2014-07-09 - Joey Hess <>
propellor (0.8.1) unstable; urgency=medium
* Run apt-get update in initial bootstrap.
* --list-fields now includes a table of fields that are not currently set,
but would be used if they got set.
* Remove .gitignore from cabal file list, to avoid build failure on Debian.
Closes: #754334
2014-07-06 - Joey Hess <>
propellor (0.8.0) unstable; urgency=medium
* Completely reworked privdata storage. There is now a single file,
and each host is sent only the privdata that its Properties actually use.
To transition existing privdata, run propellor against a host and
watch out for the red failure messages, and run the suggested commands
to store the privdata using the new storage scheme. You may find
it useful to run the old version of propellor to extract data from the old
privdata files during this migration.
Several properties that use privdata now require a context to be
specified. If in doubt, you can use anyContext, or
Context ""
* Add --edit to edit a privdata value in $EDITOR.
* Add --list-fields to list all currently set privdata fields, along with
the hosts that use them.
* Fix randomHostKeys property to run openssh-server's postinst in a
non-failing way.
* Hostname.sane now cleans up the localhost line in /etc/hosts,
to avoid eg, apache complaining "Could not reliably determine the
server's fully qualified domain name".

See Also

Package Description
prosody_0.9.7-2+deb8u4_i386.deb Lightweight Jabber/XMPP server
prosper_1.00.4+cvs.2007.05.01-4_all.deb LaTeX class for writing transparencies
protobuf-c-compiler_1.0.2-1_i386.deb Protocol Buffers C compiler (protobuf-c)
protobuf-compiler_2.6.1-1_i386.deb compiler for protocol buffer definition files
prover9-doc_0.0.200902a-2_all.deb documentation for Prover9 and associated programs
prover9-mace4_0.5.dfsg-2.2_all.deb GUI for Prover9 and Mace4
prover9_0.0.200911a-2.1_i386.deb theorem prover and countermodel generator
proxsmtp_1.10-2.1_i386.deb multi purpose SMTP Proxy
proxychains_3.1-6_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_i386.deb checks existence of open proxy
proxytrack_3.48.20-1_i386.deb Build HTTP Caches using archived websites copied by HTTrack
proxytunnel_1.9.0+svn250-5_i386.deb Create tcp tunnels trough HTTPS proxies, for using with SSH
prt_0.19-1_all.deb Command line Perl Refactoring Tool
pry_0.10.1-1_all.deb powerful irb alternative and runtime developer console
ps-watcher_1.08-7_all.deb monitoring a system via ps-like commands