Commit Graph

108 Commits

Author SHA1 Message Date
Joey Hess 25086e58d7 update 2015-01-25 15:22:22 -04:00
Joey Hess c72fa2bcd8 remove idea about moving into GADT 2015-01-25 15:20:11 -04:00
Joey Hess 5d8bd485cb
propellor spin 2015-01-25 15:08:40 -04:00
Joey Hess 73ad89d973
propellor spin 2015-01-25 15:04:05 -04:00
Joey Hess e9d5d9aff1 remove toSimpleProp
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-25 14:47:57 -04:00
Joey Hess 0ee04ecc43 GADT properties seem to work (untested)
* 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 22:38:51 -04:00
Joey Hess df8d8eb532 close 2015-01-04 17:16:43 -04:00
Joey Hess b50f33395e update docs 2015-01-01 13:57:13 -04:00
Joey Hess db88241502 noticed a minor bug 2015-01-01 13:03:30 -04:00
Joey Hess 28596064c2 layout 2014-12-26 15:35:17 -04:00
Joey Hess 8588629034 comment 2014-12-15 12:05:06 -04:00
Joey Hess d7d833b431 fix cron example 2014-12-07 15:34:29 -04:00
Joey Hess dd40a05ced update 2014-12-06 16:15:08 -04:00
Joey Hess de02fa9f7b remove done part 2014-12-06 13:23:12 -04:00
Joey Hess 7052986d09 links 2014-12-03 16:54:41 -04:00
Joey Hess 44ae716885 add posts page 2014-12-03 16:54:15 -04:00
Joey Hess f6e2cc1e65 move news to better page 2014-12-03 16:53:26 -04:00
Joey Hess e07dc9b1d3
propellor.debug can be set in the git config to enable more persistent debugging output. 2014-11-25 18:55:12 -04:00
Joey Hess e0d2761e00
update 2014-11-25 11:43:08 -04:00
Joey Hess 9d975e9ee4 add --merge 2014-11-23 18:48:52 -04:00
Joey Hess 0ea0f7f4de --spin can be passed multiple hosts, and it will provision each host in turn.
Note that if it fails to spin a host, it will stop. I think this is better
than continuing to the next, because there might be a reason to spin hosts
in some specific order (ie, update dns first and then use it).
2014-11-23 15:17:57 -04:00
Joey Hess ab2557d813 update 2014-11-22 16:31:24 -04:00
Joey Hess fd3335e40e --via implemented 2014-11-22 12:57:07 -04:00
Joey Hess 61945b4ff3 add 2014-11-22 12:13:57 -04:00
Joey Hess 57ec60d6f3 mdwn man page and more complete docs 2014-11-22 12:13:38 -04:00
Joey Hess b4b5d2aec0 link title 2014-11-21 21:54:16 -04:00
Joey Hess 505707ffa8 reorg 2014-11-21 21:02:36 -04:00
Joey Hess bf663218d3 reorg 2014-11-21 21:00:23 -04:00
Joey Hess 9f9a4c653f more 2014-11-20 20:03:48 -04:00
Joey Hess 6df68adfe0 more posts 2014-11-20 20:01:23 -04:00
Joey Hess f586f933ab update 2014-11-20 20:00:16 -04:00
Joey Hess e53de39ec4 update 2014-11-20 19:52:05 -04:00
Joey Hess 1295f56a13 add 2014-11-20 19:49:56 -04:00
Joey Hess 33ca5564a0 reorg 2014-11-20 19:49:04 -04:00
Joey Hess 3f1d7204c6 try3 2014-11-20 19:45:05 -04:00
Joey Hess ef09ba199f internal 2014-11-20 19:42:21 -04:00
Joey Hess b77e5ea110 fix pagespec 2014-11-20 19:41:39 -04:00
Joey Hess 2ed9d5fa6b fix 2014-11-20 19:26:50 -04:00
Joey Hess 6f8dfb74f7 titles 2014-11-20 19:24:52 -04:00
Joey Hess ba862ae887 adding blog feeds 2014-11-20 19:21:17 -04:00
Joey Hess b00d027a08 wording 2014-11-18 21:26:26 -04:00
Joey Hess 907ecfb464 update 2014-11-18 19:00:34 -04:00
Joey Hess 95fda710cb update 2014-11-18 18:58:47 -04:00
Joey Hess 7299cd7320 expand 2014-11-18 18:56:15 -04:00
Joey Hess 6d8fd66f13 typo 2014-11-18 17:41:20 -04:00
Joey Hess 4480f998d1 format 2014-11-18 17:40:33 -04:00
Joey Hess d118c0c76c format 2014-11-18 17:40:25 -04:00
Joey Hess eaa460c04b doc updates 2014-11-18 17:33:08 -04:00
Joey Hess 74e067fa76
propellor spin 2014-11-18 17:26:02 -04:00
Joey Hess d14fd55641 add 2014-11-13 13:11:31 -04:00