.texi 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 | .texinfo |
Questions fréquentes
Qu’est-ce qu’un fichier .texi ?
Un fichier .texi est un format de type « document TeXInfo » (type MIME text/x-texinfo).
Comment ouvrir un fichier .texi ?
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 .texi ?
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.texi affiche le type supposé.
Sur quel format .texi est-il basé ?
Techniquement, un fichier .texi 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 à .texi ?
Le type MIME est text/x-texinfo. Dans le serveur web Apache : AddType text/x-texinfo .texi ; dans nginx : types { text/x-texinfo texi; }.