dock icon indicating copy to clipboard operation
dock copied to clipboard

Allow differentiation between docker and dock output

Open bripkens opened this issue 9 years ago • 3 comments

Possible solution: Indent Docker output by four characters

bripkens avatar Jan 10 '16 08:01 bripkens

What about the following solutions?

  • labeling the output, e.g. [dock] output goes here
  • use a specific color for dock (may not be supported in all shells)

bitbrain avatar Apr 18 '16 19:04 bitbrain

Sounds like two good ideas. We should only take care not to put too many [dock] labels in front (or maybe to gray them out)? How are we going to handle different terminal backgrounds colors?

bripkens avatar Apr 18 '16 19:04 bripkens

There is a new version in Python in progress, right? Couldn't we just use the Curses API for our purpose? Or is not not compatible with the default OS shell?

bitbrain avatar Apr 18 '16 20:04 bitbrain