summaryrefslogtreecommitdiff
path: root/doc/todo
AgeCommit message (Collapse)Author
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
2015-01-08(no commit message)gueux
2015-01-04Merge branch 'joeyconfig'Joey Hess
Conflicts: privdata.joey/privdata.gpg
2015-01-04closeJoey Hess
2015-01-01noticed a minor bugJoey Hess
2014-12-21updateJoey Hess
2014-12-07updateJoey Hess
2014-12-07updateJoey Hess
2014-12-07expandJoey Hess
2014-12-07updateJoey Hess
2014-12-07Merge branch 'joeyconfig'Joey Hess
Conflicts: privdata.joey/privdata.gpg
2014-12-06updateJoey Hess
2014-12-06remove done partJoey Hess
2014-11-23coseJoey Hess
2014-11-23clarifyJoey Hess
2014-11-23commentJoey Hess
2014-11-23Added a commentgueux
2014-11-23commentJoey Hess
2014-11-23(no commit message)gueux
2014-11-18closeJoey Hess
2014-11-18doneJoey Hess
2014-11-13Merge branch 'joeyconfig'Joey Hess
2014-11-13addJoey Hess
2014-11-11removedhttp://joeyh.name/
2014-11-11Added a commenthttp://joeyh.name/
2014-11-11Added a commenthttp://joeyh.name/
2014-11-11(no commit message)gueux
2014-11-11Merge branch 'joeyconfig'Joey 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-11Merge branch 'joeyconfig'Joey Hess
2014-11-11updateJoey Hess
2014-11-06commentJoey Hess