18 lines
278 B
Python
18 lines
278 B
Python
|
import os
|
||
|
|
import re
|
||
|
|
|
||
|
|
for file in os.listdir("."):
|
||
|
|
if not file.endswith(".bench"): continue
|
||
|
|
|
||
|
|
content = open(file, "r").read()
|
||
|
|
|
||
|
|
content = re.sub(r"(\d+)", r"\\\1", content)
|
||
|
|
|
||
|
|
print(content)
|
||
|
|
|
||
|
|
f = open("new/" + file, "w")
|
||
|
|
f.write(content)
|
||
|
|
f.close()
|
||
|
|
|
||
|
|
|