Outils pour utilisateurs

Outils du site


script:txt2doku
#!/usr/bin/python3
# script to translate etherpad to doku syntax

import sys
import os

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 = line.replace("\t", "  ")
        destfile.write(nextline)
    destfile.close()
script/txt2doku.txt · Dernière modification : 2023/03/14 22:35 de piti

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC0 1.0 Universal
CC0 1.0 Universal Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki