Advertisement
Guest User

Untitled

a guest
Aug 26th, 2019
166
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.51 KB | None | 0 0
  1. if pipee:
  2. # Try to read from the err descriptor until EOF.
  3. # --AR--
  4. import re; ansi_escape=re.compile(r'(\x9B|\x1B\[)[0-?]*[ -\/]*[@-~]')
  5. # --/AR--
  6. try:
  7. for l in pipee:
  8. # --AR--
  9. if not l.endswith('\n'): l += '\n'
  10. l = ansi_escape.sub('\x1b[30;1m|\x1b[0m', l)
  11. # --/AR--
  12. ui.status(_('remote: '), l)
  13. except (IOError, ValueError):
  14. pass
  15.  
  16. pipee.close()
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement