summaryrefslogtreecommitdiff
path: root/doc/todo
AgeCommit message (Collapse)Author
2015-05-22commentJoey Hess
2015-05-19(no commit message)gueux
2015-05-15Added a commenthttps://launchpad.net/~jml
2015-05-15Added a commenthttps://launchpad.net/~jml
2015-05-14reponsesJoey Hess
2015-05-14(no commit message)https://launchpad.net/~jml
2015-05-14(no commit message)https://launchpad.net/~jml
2015-05-14(no commit message)https://launchpad.net/~jml
2015-04-28commentJoey Hess
2015-04-23commentJoey Hess
2015-04-23Added a commentgueux
2015-04-22Merge branch 'joeyconfig'Joey Hess
2015-04-22updateJoey Hess
2015-04-22Merge branch 'joeyconfig'Joey Hess
2015-04-22updateJoey Hess
2015-04-22Merge branch 'joeyconfig'Joey Hess
2015-04-22tooJoey Hess
2015-04-21commentJoey Hess
2015-04-21Added a commentgueux
2015-04-19commentJoey Hess
2015-04-19closeJoey Hess
2015-04-19(no commit message)gueux
2015-04-19commentJoey Hess
2015-04-19Added a wishlist itemweinzwang
2015-04-02Merge branch 'master' of ssh://propellor.branchable.comJoey Hess
2015-04-02fixedJoey Hess
2015-04-02Added a commentgueux
2015-04-01commentJoey Hess
2015-04-01(no commit message)gueux
2015-03-10Added a commenthttps://www.google.com/accounts/o8/id?id=AItOawmtnXa0F3OsNh8H7yf5EEbtuufPZG-3StI
2015-03-09responseJoey Hess
2015-03-09Merge branch 'master' of ssh://propellor.branchable.comJoey Hess
2015-03-08Added a comment: Propellor 2.2.0 not on hackagehttps://www.google.com/accounts/o8/id?id=AItOawmtnXa0F3OsNh8H7yf5EEbtuufPZG-3StI
2015-03-05Added a comment: You rocks!https://www.google.com/accounts/o8/id?id=AItOawmtnXa0F3OsNh8H7yf5EEbtuufPZG-3StI
2015-02-28closeJoey Hess
2015-02-28commentJoey Hess
2015-02-28commentJoey Hess
2015-02-28(no commit message)https://www.google.com/accounts/o8/id?id=AItOawmtnXa0F3OsNh8H7yf5EEbtuufPZG-3StI
2015-02-12fixedJoey Hess
2015-02-11Added more informationweinzwang
2015-02-11Bug report for Property.Ssh.AuthorizedKeyweinzwang
2015-01-25Merge branch 'joeyconfig'Joey Hess
2015-01-25remove idea about moving into GADTJoey Hess
2015-01-25update; SimpleSh was removedJoey Hess
2015-01-25Merge branch 'joeyconfig'Joey Hess
Conflicts: doc/todo/info_propigation_out_of_nested_properties.mdwn privdata.joey/privdata.gpg
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-24updateJoey Hess