Table des matières

Comment installer des extensions avec le gestionnaire TeX Live?

Le TeX Live manager (tlmgr) est le gestionnaire d'extensions de \TeX Live. Il s'agit d'abord d'un outil en ligne de commande (également utilisable dans une fenêtre terminal sous Windows), mais il fournit également une interface graphique. Pour consulter sa (volumineuse) documentation, utilisez la commande :

tldoc tlmgr

mais son fonctionnement de base est assez simple. Le gestionnaire doit savoir depuis où télécharger les fichiers à installer ; le plus simple pour réaliser cette configuration est d'exécuter :

tlmgr option repository http://mirror.ctan.org/systems/texlive/tlnet

qui utilise le sélecteur de miroir du CTAN pour choisir à votre place. Vous pouvez (bien sûr) spécifier un miroir particulier auquel vous faites confiance (par exemple celui de votre université ou votre fournisseur d'accès à internet).

Pour mettre à jour une seule extension, utilisez :

tlmgr update ⟨extension⟩

Pour mettre à jour tout ce qui est déjà installé sur votre système, y compris tlmgr lui-même, utilisez :

tlmgr update --self -all

Comment utiliser l'interface graphique ?

Sous Linux (et MacOS), ça se fait avec cette commande :

tlmgr gui

Sous Windows, cette interface graphique ne fonctionnera probablement pas (car elle nécessite la bibliothèque Tcl/Tk, qui n'est généralement pas disponible sous WIndows, et non fournie par \TeX Live).

D'autres interfaces ont été développées, utilisables sur toutes les plateformes:

De façon intuitive, ces interface se lanceront avec les commandes

tlshell

ou

tlcockpit

respectivement.

Comment réinstaller des extensions “forcibly removed” par tlmgr ?

Parfois, lors d'une mise à jour complète de \TeX Live, quelques extensions sont supprimées par tlmgr, avec un message du genre :

skipping forcibly removed package babel

Pour réinstaller automatiquement les extensions supprimées sans votre avis, vous pouvez exécuter la commande :

tlmgr update --all --reinstall-forcibly-removed

Source : Installation using TeXLive manager