escfilter: remove OSC sequences ESC ]8;;link ESC backslash

2024-02-21 20:32:03 +01:00 · 2024-02-21 20:32:03 +01:00 · 8431e41d51
parent 63e6f17487
commit 8431e41d51
1 changed files with 1 additions and 1 deletions
--- a/_extensions/julia/escfilter.py
+++ b/_extensions/julia/escfilter.py
@ -1,5 +1,5 @@
 import sys
 f = sys.stdin.read()
-g = f.replace('\\u001b[','ꍟ⦃')
+g = f.replace('\\u001b[','ꍟ⦃').replace('\\u001b]8;;','').replace('\\u001b\\\\','')
 sys.stdout.write(g)