diff options
| -rw-r--r-- | changelog.d/4049.misc | 1 | ||||
| -rwxr-xr-x | synctl | 11 |
2 files changed, 11 insertions, 1 deletions
diff --git a/changelog.d/4049.misc b/changelog.d/4049.misc new file mode 100644 index 0000000000..4370d9dfa6 --- /dev/null +++ b/changelog.d/4049.misc @@ -0,0 +1 @@ +Only colourise synctl output when attached to tty diff --git a/synctl b/synctl index 09b64459b1..4bd4c68b37 100755 --- a/synctl +++ b/synctl @@ -48,7 +48,16 @@ def pid_running(pid): def write(message, colour=NORMAL, stream=sys.stdout): - if colour == NORMAL: + # Lets check if we're writing to a TTY before colouring + should_colour = False + try: + should_colour = stream.isatty() + except AttributeError: + # Just in case `isatty` isn't defined on everything. The python + # docs are incredibly vague. + pass + + if not should_colour: stream.write(message + "\n") else: stream.write(colour + message + NORMAL + "\n") |