diff options
| author | spwhitton <spwhitton@web> | 2017-02-03 04:07:58 +0000 |
|---|---|---|
| committer | admin <admin@branchable.com> | 2017-02-03 04:07:58 +0000 |
| commit | 39afe530d4bd43c0e4f4142a03e375019222a8b8 (patch) | |
| tree | 6de9b43dca6f4ec0fdbf7706054b583e8e02c9a5 /doc/todo/new_apt_pinning_properties | |
| parent | 6b085cf6ecd379ca446e850b9967f21433bd7102 (diff) | |
Added a comment
Diffstat (limited to 'doc/todo/new_apt_pinning_properties')
| -rw-r--r-- | doc/todo/new_apt_pinning_properties/comment_4_add83ed58963e944ccd705a50e8b5a47._comment | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/todo/new_apt_pinning_properties/comment_4_add83ed58963e944ccd705a50e8b5a47._comment b/doc/todo/new_apt_pinning_properties/comment_4_add83ed58963e944ccd705a50e8b5a47._comment new file mode 100644 index 00000000..9688672b --- /dev/null +++ b/doc/todo/new_apt_pinning_properties/comment_4_add83ed58963e944ccd705a50e8b5a47._comment @@ -0,0 +1,20 @@ +[[!comment format=mdwn + username="spwhitton" + avatar="http://cdn.libravatar.org/avatar/9c3f08f80e67733fd506c353239569eb" + subject="comment 4" + date="2017-02-03T04:07:58Z" + content=""" +> Yes please add a new type alias for String (or an ADT) if Package is not appropriate. + +Propellor won't be parsing any of the regexp or globs, so I've added a new type alias rather than an ADT. + +> Nice surprise that tightenTargets works on RevertableProperty at all. Since it does, you should be able to tighten one side, revert, tighten the other side, and re-revert. Or, deconstruct the RevertableProperty, tighten both sides individually, and reconstruct it. + +I don't understand what you're getting at with the first of these suggestions. + +In any case, now that I'm not using `File.containsBlock`, it's easy to just apply `tightenTargets` to each side. + +> I've added a Propellor.Property.File.configFileName that should be suitable for your purposes, and others.. + +Very nice :) I've updated my branch to use this. I haven't removed `File.containsBlock`, since it might be useful in the future, but you could of course revert the relevant commit. +"""]] |