Recherche de référentiels de packages par contenu


8

Je recherche un fichier d'entrée LaTeX particulier et je n'ai pas pu le trouver dans les référentiels.

Je suis assez certain que les référentiels peuvent être recherchés par contenu car la commande suivante (recherche du fichier d'entrée LaTeX amsmath.sty) est réussie:

# apt-cache search amsmath
texlive-latex-base - TeX Live: Basic LaTeX packages
texlive-doc-it - TeX Live: Italian documentation
texlive-latex-extra - TeX Live: LaTeX supplementary packages
texlive-math-extra - TeX Live: Advanced math typesetting

Le fichier d'entrée TeX particulier que je recherche ne renvoie aucun résultat ( apt-cache search breqn). Puis-je supposer qu'il breqn.styn'est présent dans aucun package des référentiels, et donc le rechercher par d'autres moyens (par exemple, CTAN)? Ou pourrait-il y avoir une autre façon de rechercher dans le contenu du paquet?

Réponses:


9

Vous pouvez utiliser apt-file pour rechercher des fichiers dans des packages

sudo apt-get install apt-file

# Update database
sudo apt-file update

# Search for files
apt-file search foo

# or in your case
apt-file search breqn.sty

Je comprends texlive-latex3: /usr/share/texmf-texlive/tex/latex/mh/breqn.sty, alors ...

sudo apt-get install texlive-latex3

Voir aussi http://www.debuntu.org/how-to-find-missing-packages-with-apt-file


Merci d'avoir mentionné apt-file update. J'avais pensé que apt-get updatecela s'appliquerait apt-fileégalement, mais il s'est avéré que ce n'était pas le cas.
user001

2

Vous cherchez texlive-latex3. J'ai découvert cela en installant apt-file Installer le fichier apt et en l'utilisant comme ceci:

apt-file update
apt-file search breqn.sty
texlive-latex3: /usr/share/texmf-texlive/tex/latex/mh/breqn.sty

Ce qui me donne le nom du package et le fichier.


1
@ user001 Il s'agit d'un site sur Ubuntu et non sur Debian, vous devez poser votre question sur unix.stackexchange.com s'il s'agit de Debian.
Jorge Castro

1
En fait, peu importe, cela a fonctionné. J'avais besoin de courir apt-file updatecomme l'a souligné @ bodhi-zazen. Je pensais que ce apt-get updateserait suffisant, mais je suppose qu'ils maintiennent des caches de packages séparés. Je savais que dans ce cas, les résultats seraient également utiles aux utilisateurs d'ubuntu et de debian, c'est pourquoi je l'ai posté. J'utilise les deux.
user001

1
@ user001 Lorsque je l'ai installé sur le mien, il m'a incité à le mettre à jour automatiquement, j'ai cependant mis à jour ma réponse pour être sûr.
Jorge Castro

Merci. Il s'est avéré que j'avais déjà apt-fileinstallé sur mon système sans le savoir, c'est pourquoi je n'ai pas été invité. Je n'avais probablement pas couru apt-file updatedepuis un moment.
user001
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.