User-defined output handlers that take priority over builtins

Description

11:51 < pipping> ciaranm: how about having an option to output.conf...
11:51 < pipping> ciaranm: that directs stdout and stderr to different files?
11:51 < ciaranm> pipping: mm, what's your use case?
11:52 < ciaranm> you can do that using a custom output handler fairly easily
11:52 < pipping> I care about stuff that goes to stderr a lot
11:52 < pipping> and it's currently impossible to make out
11:52 < pipping> and what would be lost by having that go to another file is the context
11:52 < ciaranm> mm. i think for that the fix is to make user-defined output handlers with the same names as builtins

take priority

11:52 < pipping> but the context is not guaranteed to be correct anyway
11:53 < ciaranm> do you want a stdout file and a stderr file, or an everything file and a stderr file?
11:53 < pipping> the latter probably makes more sense

Change History

11:51 < pipping> ciaranm: how about having an option to output.conf...
11:51 < pipping> ciaranm: that directs stdout and stderr to different files?
11:51 < ciaranm> pipping: mm, what's your use case?
11:52 < ciaranm> you can do that using a custom output handler fairly easily
11:52 < pipping> I care about stuff that goes to stderr a lot
11:52 < pipping> and it's currently impossible to make out
11:52 < pipping> and what would be lost by having that go to another file is the context
11:52 < ciaranm> mm. i think for that the fix is to make user-defined output handlers with the same names as builtins take priority
11:52 < pipping> but the context is not guaranteed to be correct anyway
11:53 < ciaranm> do you want a stdout file and a stderr file, or an everything file and a stderr file?
11:53 < pipping> the latter probably makes more sense