dock
dock copied to clipboard
Allow differentiation between docker and dock output
Possible solution: Indent Docker output by four characters
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)
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?
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?