script:txt2doku
Ceci est une ancienne révision du document !
#!/usr/bin/python3
# script to translate etherpad to doku syntax
import sys
import os
def scanline(line):
count = line.count("\t")
if count > 0:
return line.replace("\t", " ")
else:
return line
if __name__ == "__main__":
if len(sys.argv) == 2:
source = sys.argv[1]
print(source)
else:
print("usage: txt2doku sourcefile.txt")
exit()
if not os.path.isfile(source):
print("%s does not exist" % source)
exit()
sourcefile = open(source, "r")
destfile = open(source.replace(".txt", ".doku"), "w")
for line in sourcefile.readlines():
nextline = scanline(line)
destfile.write(nextline)
destfile.close()
script/txt2doku.1678819429.txt.gz · Dernière modification : 2023/03/14 18:43 de piti
