.texinfo document TeXInfo
Texte et code source
| Type MIME | text/x-texinfo |
|---|---|
| Description | document TeXInfo |
| Catégorie | Texte et code source |
| Basé sur | text/plain |
| Autres extensions | .texi |
Questions fréquentes
Qu’est-ce qu’un fichier .texinfo ?
Un fichier .texinfo est un format de type « document TeXInfo » (type MIME text/x-texinfo).
Comment ouvrir un fichier .texinfo ?
Avec n’importe quel éditeur de texte : Notepad++, Visual Studio Code, ou gedit et vim sous Linux. Le fichier contient du texte lisible, éventuellement du code source ou une configuration.
Comment reconnaître un vrai fichier .texinfo ?
Aucune signature fixe en début de fichier n’est enregistrée pour ce format ; il est surtout reconnu par son extension. Sous Linux et macOS, file --mime-type example.texinfo affiche le type supposé.
Sur quel format .texinfo est-il basé ?
Techniquement, un fichier .texinfo est un sous-type de « Plain text document » (text/plain) ; les programmes conçus pour ce format de base peuvent donc souvent le lire aussi.
Quel type MIME correspond à .texinfo ?
Le type MIME est text/x-texinfo. Dans le serveur web Apache : AddType text/x-texinfo .texinfo ; dans nginx : types { text/x-texinfo texinfo; }.