script:txt2doku
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| script:txt2doku [2023/03/14 22:34] – piti | script:txt2doku [2023/03/14 22:35] (Version actuelle) – piti | ||
|---|---|---|---|
| Ligne 5: | Ligne 5: | ||
| import sys | import sys | ||
| import os | import os | ||
| - | |||
| - | def scanline(line): | ||
| - | |||
| - | return line.replace(" | ||
| - | |||
| if __name__ == " | if __name__ == " | ||
| Ligne 24: | Ligne 19: | ||
| destfile = open(source.replace(" | destfile = open(source.replace(" | ||
| for line in sourcefile.readlines(): | for line in sourcefile.readlines(): | ||
| - | nextline = scanline(line) | + | nextline = line.replace(" |
| destfile.write(nextline) | destfile.write(nextline) | ||
| destfile.close() | destfile.close() | ||
| </ | </ | ||
script/txt2doku.1678833271.txt.gz · Dernière modification : 2023/03/14 22:34 de piti