summaryrefslogtreecommitdiff
path: root/doc/todo
AgeCommit message (Collapse)Author
2015-04-22updateJoey Hess
2015-04-22updateJoey Hess
2015-04-22tooJoey Hess
2015-01-25remove idea about moving into GADTJoey Hess
2015-01-25propellor spinJoey Hess
2015-01-25propellor spinJoey Hess
2015-01-25remove toSimplePropJoey Hess
It didn't do what I thought it did with a RevertableProperty; it always returned Nothing because even if the input properties to <!> are NoInfo, it casts them to HasInfo. Even if it had worked, it lost type safety. Better to export the Property NoInfo that is used in a RevertableProperty, so it can be used directly.
2015-01-24GADT 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-04closeJoey Hess
2015-01-01noticed a minor bugJoey Hess
2014-12-06updateJoey Hess
2014-12-06remove done partJoey Hess
2014-11-13addJoey Hess
2014-11-11should be fixedJoey Hess
2014-11-11avoid configuring git signing key when there's no secret keyJoey Hess
Also, nice display for --add-key steps
2014-11-11added some details to multipe gpg keys issueArnaud Bailly
2014-11-11unundoJoey Hess
2014-11-11changelogJoey Hess
2014-11-11updateJoey Hess
2014-10-23Revert "propellor spin"Joey Hess
This reverts commit 80f5b53f1b7fdc876d5e45df68c29f53bd9666b2.
2014-10-23propellor spinJoey Hess
2014-10-23todoJoey Hess
2014-08-19merge from masterJoey Hess
2014-07-06todoJoey Hess
2014-07-06closeJoey Hess
2014-07-05addJoey Hess
2014-06-09Attr is renamed to Info.Joey Hess
2014-05-31Propellor's output now includes the hostname being provisioned, or when ↵Joey Hess
provisioning a docker container, the container name.
2014-05-31propellor spinJoey Hess
2014-05-14remove fixed itemJoey Hess
2014-05-10updateJoey Hess
2014-04-29todoJoey Hess
2014-04-19spit up TODOJoey Hess
2014-04-19more pagesJoey Hess
generated by cgit v1.3-2-g0d8e (git 2.53.0) at 2026-06-16 14:45:24 +0000