##// END OF EJS Templates
Fixed & simplified broken remove_ansi regex
Jonathan Frederic -
Show More
@@ -36,7 +36,7 b' def remove_ansi(source):'
36 Source to remove the ansi from
36 Source to remove the ansi from
37 """
37 """
38
38
39 return re.sub(r'\033\[(0|\d;\d\d)m', '', source)
39 return re.sub(r'\033\[(\d|:)+?m', '', source)
40
40
41
41
42 def ansi2html(text):
42 def ansi2html(text):
General Comments 0
You need to be logged in to leave comments. Login now