julia 1.10.2, url esc sequence removal

2024-03-28 12:56:00 +01:00
parent d8123167be
commit 425a65f7db
5 changed files with 12 additions and 13 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)