diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-11-30 13:34:17 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-11-30 13:34:17 -0400 |
| commit | 703c08cd618ec3d0f299b1f715e0ebfb7233ea09 (patch) | |
| tree | cb02398f7b1204d4b3e840eb6a32170902ca0c73 /doc | |
| parent | e23895ff4466776f421f2d9b5e78f5f2b2bce82f (diff) | |
comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_4_cd49645ff94d9ccec74ff72a836cd1f7._comment | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_4_cd49645ff94d9ccec74ff72a836cd1f7._comment b/doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_4_cd49645ff94d9ccec74ff72a836cd1f7._comment new file mode 100644 index 00000000..30149a4c --- /dev/null +++ b/doc/todo/pull_request:_patch_Apt.buildDep_to_only_proceed_if_installable/comment_4_cd49645ff94d9ccec74ff72a836cd1f7._comment @@ -0,0 +1,20 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 4""" + date="2015-11-30T16:57:45Z" + content=""" +I think it would probably depend on the user when that makes sense to do. +If I'm installing build deps over a slow network connection, I'd like to +see the output. + +It would be awesome if this transformation could be applied to any +arbitrary Property. I don't immediately know how to do that, although it +seems useful that all process spawning already goes through +concurrent-output, which can buffer the output and display it only when the +command finishes. + +Perhaps an extension to concurrent-ouput could let it buffer the output +of all commands run by a property and then discard the buffer if the +property finished with NoChange. But I don't see a way to make this work +when multiple properties are being run concurrently. +"""]] |
