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.

Méthode 1
Méthode 1 sur 3:

À l'aide d'un éditeur de texte

Télécharger l'article
  1. Ainsi s'ouvre une fenêtre de l'invite de commande.
  2. 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 .
  3. 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é
Méthode 2
Méthode 2 sur 3:

Dans un navigateur Internet

Télécharger l'article
  1. 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] .
  2. Dans le menu contextuel, sélectionnez
    Ouvrir avec une autre application . Une liste d'applications apparait alors (ordre alphabétique  [2] ).
  3. 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é
Méthode 3
Méthode 3 sur 3:

À l'aide d'une conversion dans un autre format

Télécharger l'article
  1. Ainsi s'ouvre une fenêtre de l'invite de commande
  2. 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 .
  3. Pour installer xmlto, exécutez la commande
    sudo apt install xmlto .
  4. 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 .
  5. 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] .
    • 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é

À propos de ce wikiHow

Cette page a été consultée 4 271 fois.

Cet article vous a-t-il été utile ?

Publicité