Installation / suppression facile d'un paquet LaTeX

39

J'avais l'habitude d'utiliser LaTeX dans Windows et il y avait le gestionnaire de paquets Miktex avec lequel il était très facile d'ajouter un paquet manquant. Je voulais installer textcompsur Ubuntu 11.10 et cela me demande de télécharger le fichier zip à partir d’ici et de trouver les paquets qui sont /usr/share/texmf-texlive/tex/latexdans mon cas, d’extraire le contenu du fichier zip et de mettre à jour les paquets.

Existe-t-il un gestionnaire de paquets qui effectue l'installation et la suppression de manière plus simple, comme le gestionnaire de paquets Miktex dans Windows?

package-management latex petrichor
la source
Étant donné que TeX Live dans Ubuntu est obsolète, il peut être judicieux d’installer TeX Live directement à partir de l’amont. Voici un guide: tug.org/texlive/quickinstall.html
NN

Réponses:

56

Je conseille de revenir à une installation manuelle d'un paquet tex uniquement lorsque ce paquet tex n'est pas disponible dans un paquet ubuntu.

La recherche avec

apt-file -x search '/textcomp.sty$'

J'obtiens les résultats suivants:

texlive-latex-base: /usr/share/texmf-texlive/tex/latex/base/textcomp.sty

et il dit que le paquet tex que vous recherchez est contenu dans le paquet ubuntu dont le nom est texlive-latex-base, installez-le, s'il n'est pas déjà installé.

sudo apt-get install texlive-latex-base

À propos, apt-fileest une commande à installer séparément contenue dans le apt-filepaquet, et seulement un moyen commode et alternatif de rechercher dans les référentiels de la même manière que http://packages.ubuntu.com/ .

enzotib
la source
C'est juste génial! Je ne savais pas que tous les paquets dont j'avais besoin étaient déjà texlive-latex-baseentrés texlive-latex-extra. Merci.
petrichor
Mon cher ami, après tant de recherches, c’était le moyen le plus simple et le plus rapide d’exécuter certains paquets! Bravo à vous!
Sosi
Si vous découvrez que le paquet est déjà installé mais qu'il semble ne pas fonctionner, supprimez-le en utilisant apt-get puis réinstallez-le. Cela a fonctionné pour moi pour deux forfaits différents même s'il était dit qu'ils étaient à jour.
Ne pas vérifié
+1 pour m'apprendre l'utilitaire apt-file. Je ne peux pas croire que je ne l'aurais jamais vue auparavant.
arr_sea