Allow differentiation between docker and dock output

[bripkens]

Possible solution: Indent Docker output by four characters

[bitbrain]

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)

[bripkens]

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?

[bitbrain]

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?