Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- if pipee:
- # Try to read from the err descriptor until EOF.
- # --AR--
- import re; ansi_escape=re.compile(r'(\x9B|\x1B\[)[0-?]*[ -\/]*[@-~]')
- # --/AR--
- try:
- for l in pipee:
- # --AR--
- if not l.endswith('\n'): l += '\n'
- l = ansi_escape.sub('\x1b[30;1m|\x1b[0m', l)
- # --/AR--
- ui.status(_('remote: '), l)
- except (IOError, ValueError):
- pass
- pipee.close()
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement