Télécharger l'article
Télécharger l'article
Les fichiers se présentant avec l'extension .xml sont des fichiers écrits en texte brut et contenant du code XML. Ils ne s'exécutent pas directement comme des fichiers classiques (XSL, DOC…) ou des scripts. Vous ne pourrez en voir le contenu qu'en utilisant un éditeur de texte ou dans un navigateur Internet. Il est aussi possible de modifier le format du fichier en faisant une conversion, avec par exemple xmlto.
Étapes
-
Faites la combinaison de touches Contrôle + Alt + T . Ainsi s'ouvre une fenêtre de l'invite de commande.
-
Rendez-vous dans le répertoire contenant votre fichier XML. Vous allez utiliser la commande cd , suivie du chemin d'accès au fichier. Si votre fichier est dans un dossier dont l'adresse relative est /documents/2021/cours , tapez
cd /documents/2021/cours . -
Tapez vim nom_du_fichier.xml . Remplacez nom_du_fichier par le nom du fichier XML à exécuter. Le fichier s'ouvre alors dans VIM, l'éditeur de texte en console de Linux.Publicité
-
Sur votre disque dur, retrouvez le fichier XML. Si vous utilisez l'interface GNOME, servez-vous du gestionnaire GNOME Fichiers, grâce auquel vous allez pouvoir doublecliquer sur le dossier dans lequel est le fichier. Avec une interface KDE, servez-vous du gestionnaire Dolphin [1] X Source de recherche .
-
Faites un clic droit sur le fichier. Dans le menu contextuel, sélectionnez
Ouvrir avec une autre application . Une liste d'applications apparait alors (ordre alphabétique [2] X Source de recherche ). -
Sélectionnez votre navigateur Internet. Firefox est souvent installé par défaut sur la plupart des distributions Linux, mais vous pouvez en utiliser un autre, pas trop ancien, en tout cas capable de gérer les fichiers XML. Le contenu du fichier XML s'affichera alors.Publicité
-
Faites la combinaison de touches Contrôle + Alt + T . Ainsi s'ouvre une fenêtre de l'invite de commande
-
Mettez à jour le dépôt. Pour être sûr(e) d'avoir la dernière version de xmlto, celle qui permet de convertir un fichier XML en fichier de texte brut, exécutez la commande sudo apt update .
-
Installez le paquet xml2. Pour installer xmlto, exécutez la commande
sudo apt install xmlto . -
Rendez-vous dans le répertoire contenant votre fichier XML. Vous allez utiliser la commande cd , suivie du chemin d'accès au fichier. Si votre fichier est dans un dossier dont l'adresse relative est /documents/1998/cours , tapez
cd /documents/1998/cours . -
Exécutez la commande de conversion. Celle-ci va dépendre fort logiquement du format d'arrivée (car il y en a plusieurs !) que vous voulez.
- La commande xmlto pdf myfile.xml permet une conversion au format PDF [3] X Source de recherche .
- Pour les autres formats, remplacez dans la commande pdf par une autre extension : html , htmlhelp (format d'aide en ligne), javahelp (format d'aide Open Source), dvi (composition typographique), man (manuel Unix), txt (texte brut), ps (PostScript), xhtml , xsl …
Publicité
Références
À propos de ce wikiHow
Cette page a été consultée 4 819 fois.
Publicité