| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-01-24 | GADT properties seem to work (untested) | Joey Hess | |
| * Property has been converted to a GADT, and will be Property NoInfo or Property HasInfo. This was done to make sure that ensureProperty is only used on properties that do not have Info. Transition guide: - Change all "Property" to "Property NoInfo" or "Property WithInfo" (The compiler can tell you if you got it wrong!) - To construct a RevertableProperty, it is useful to use the new (<!>) operator - Constructing a list of properties can be problimatic, since Property NoInto and Property WithInfo are different types and cannot appear in the same list. To deal with this, "props" has been added, and can built up a list of properties of different types, using the same (&) and (!) operators that are used to build up a host's properties. | |||
| 2015-01-24 | added GADT to determine between a property with info and without | Joey Hess | |
| Not yet used | |||
| 2015-01-23 | OS.preserveNetwork finally written | Joey Hess | |
| 2015-01-23 | Added more network interface configuration properties. | Joey Hess | |
| 2015-01-22 | propellor spin | Joey Hess | |
| 2015-01-21 | reorg | Joey Hess | |
| 2015-01-21 | propellor spin | Joey Hess | |
| 2015-01-21 | Added journald configuration properties. | Joey Hess | |
| 2015-01-21 | Added systemd configuration properties. | Joey Hess | |
| 2015-01-19 | export | Joey Hess | |
| 2015-01-19 | split out types to improve haddock for Propellor.Types | Joey Hess | |
| 2015-01-19 | avoid haddock warnings | Joey Hess | |
| 2015-01-19 | rename HostLike to PropAccum | Joey Hess | |
| This is more general; it doesn't need to contain a Host. It would, for example, be possible to make Property itself be an instance of PropAccum. | |||
| 2015-01-18 | Property tree | Joey Hess | |
| Properties now form a tree, instead of the flat list used before. This simplifies propigation of Info from the Properties used inside a container to the outer host; the Property that docks the container on the host can just have as child properties all the inner Properties, and their Info can then be gathered recursively. (Although in practice it still needs to be filtered, since not all Info should propigate out of a container.) Note that there is no change to how Properties are actually satisfied. Just because a Property lists some child properties, this does not mean they always have their propertySatisfy actions run. It's still up to the parent property to run those actions. That's necessary so that a container's properties can be satisfied inside it, not outside. It also allows property combinators to add the combined Properties to their childProperties list, even if, like onChange, they don't always run the child properties at all. Testing: I tested that the exact same Info is calculated before and after this change, for every Host in my config file. | |||
| 2015-01-09 | propellor spin | Joey Hess | |
| 2015-01-08 | propellor spin | Joey Hess | |
| 2015-01-08 | propellor spin | Joey Hess | |
| 2015-01-08 | propellor spin | Joey Hess | |
| 2015-01-08 | propellor spin | Joey Hess | |
| 2015-01-08 | propellor spin | Joey Hess | |
| 2015-01-08 | propellor spin | Joey Hess | |
| 2015-01-06 | Merge Utiity modules from git-annex. | Joey Hess | |
| Except for a few that are using the other exception handling library, that propellor has not switched to yet. | |||
| 2015-01-06 | refactor dns settings! | Joey Hess | |
| 2015-01-06 | add update-server-info, so the repo has all current branches published over http | Joey Hess | |
| 2015-01-04 | SSHFP records are also generated for CNAMES of hosts. | Joey Hess | |
| 2015-01-04 | prep | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | DNS records for hosts with known ssh public keys now automatically include ↵ | Joey Hess | |
| SSHFP records. | |||
| 2015-01-04 | Fix bug that prevented deploying ssh host keys when the file for the key ↵ | Joey Hess | |
| didn't already exist. This is not a new bug. | |||
| 2015-01-04 | cleanup | Joey Hess | |
| 2015-01-04 | randomHostKeys is removed from CloudAtCost.deCruft. | Joey Hess | |
| 2015-01-04 | avoid ever removing all host keys | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | Ssh.hostKey and Ssh.hostKeys no longer install public keys from the privdata. | Joey Hess | |
| Instead, the public keys of a host should be set using Ssh.pubKey. | |||
| 2015-01-04 | Ssh.hostKeys now also installs any available SshEd25519 keys. | Joey Hess | |
| 2015-01-04 | sshPubKey is renamed to Ssh.pubKey, and has an added SshKeyType parameter. | Joey Hess | |
| 2015-01-04 | sshPubKey is renamed to Ssh.pubKey | Joey Hess | |
| 2015-01-04 | transition docs | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | add $INCLUDE of pubkeys before zone file is written, to avoid pogoing | Joey Hess | |
| 2015-01-04 | fix serial incrementing | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | propellor spin | Joey Hess | |
| 2015-01-04 | use separate directory for dnssec files | Joey Hess | |
| 2015-01-04 | resign zone if keys change | Joey Hess | |
