diff options
| author | spwhitton <spwhitton@web> | 2015-12-02 21:44:38 +0000 |
|---|---|---|
| committer | admin <admin@branchable.com> | 2015-12-02 21:44:38 +0000 |
| commit | 15c69ffb3155feb355c663447e6ef1dbec2a6f2a (patch) | |
| tree | a95846df0a104232214349c82a52bdbcc868c4c5 /doc/todo | |
| parent | 91cc612e67b25b1b3ade72355ed9fcd69e7e9d66 (diff) | |
Added a comment
Diffstat (limited to 'doc/todo')
| -rw-r--r-- | doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_8_7069f68888663fef109b82a044aeb5e1._comment | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_8_7069f68888663fef109b82a044aeb5e1._comment b/doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_8_7069f68888663fef109b82a044aeb5e1._comment new file mode 100644 index 00000000..c05d6255 --- /dev/null +++ b/doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_8_7069f68888663fef109b82a044aeb5e1._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="spwhitton" + subject="comment 8" + date="2015-12-02T21:44:37Z" + content=""" +My original goal was to have `Apt.buildDep` return NoChange if the build deps are already installed. As a welcome but unexplained side-effect, on my system `noChangeIfUnchanged` *does* cause apt's output not to be displayed. + +I'll think about ways to combine our two combinators. +"""]] |