2024-04-15 09:45:56 +02:00
|
|
|
#!/usr/bin/env python3
|
2012-06-29 04:44:00 +02:00
|
|
|
|
|
|
|
import sys
|
|
|
|
|
2015-12-17 22:26:47 +01:00
|
|
|
TTY = sys.stdout.isatty()
|
|
|
|
|
2012-06-29 04:44:00 +02:00
|
|
|
write = sys.stdout.write
|
|
|
|
|
|
|
|
write('\n')
|
2015-12-17 22:26:47 +01:00
|
|
|
|
|
|
|
if TTY:
|
|
|
|
write('\x1b[') # escape, left-bracket
|
|
|
|
write('1;31m') # bold red
|
|
|
|
|
2012-06-29 04:44:00 +02:00
|
|
|
write(' '.join(sys.argv[1:]))
|
2015-12-17 22:26:47 +01:00
|
|
|
|
|
|
|
if TTY:
|
|
|
|
write('\x1b[') # escape, left-bracket
|
|
|
|
write('0m') # reset
|
|
|
|
|
2012-06-29 04:44:00 +02:00
|
|
|
write('\n')
|