script:txt2doku
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
| script:txt2doku [2023/03/14 18:43] – créée 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): | ||
| - | count = line.count(" | ||
| - | if count > 0: | ||
| - | return line.replace(" | ||
| - | else: | ||
| - | return line | ||
| - | |||
| if __name__ == " | if __name__ == " | ||
| Ligne 27: | 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.1678819429.txt.gz · Dernière modification : 2023/03/14 18:43 de piti