extrait-xml-éditeur

Outil qui permet d'extraire le fichier XML éditeur d’une archive ZIP et de le renommer pour lui donner la même racine que le document auquel il fait référence. Il travaille sur un fichier ou sur un répertoire de fichiers “.zip”.

N.B. : certains cas problématiques ne sont toujours pas traités de façon adéquate et sont laissés à la charge de l’utilisateur.

Usage

    extraitXmlEditeur.pl -r répertoire -n nombre_fichiers -m motif [ -l log ]
    extraitXmlEditeur.pl -f fichier [ -l log ]
    extraitXmlEditeur.pl -h

Options

    -f  indique le nom du fichier “.zip” contenant le fichier XML éditeur à extraire.
    -h  affiche cette aide.
    -l  indique le nom du fichier “log” recevant les messages d’erreur du programme. 
    -m  indique le préfixe utilisé au début du nom des fichiers “.zip” du répertoire donné par 
        l’option “-r”. 
    -n  indique le nombre de fichier “.zip” attendus. 
    -r  indique le répertoire où se trouve les fichiers “.zip” déchargés par le programme 
        “harvestCorpus.pl” et d’où doivent être extrait les fichiers XML éditeurs.