Ricerca in repository di pacchetti per contenuto

Sto cercando un particolare file di input di LaTeX e non sono stato in grado di trovarlo nei repository.

Sono abbastanza certo che i repository possano essere cercati per contenuto perché il seguente comando (ricerca del file di input LaTeX amsmath.sty) ha esito positivo:

# 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

Il particolare file di input TeX che sto cercando non restituisce alcun risultato ( apt-cache search breqn). Posso presumere che breqn.stynon sia presente in nessun pacchetto nei repository e quindi cercarlo con altri mezzi (es. CTAN)? O potrebbe esserci un altro modo per cercare tra i contenuti del pacchetto?

package-management repository latex

— User001
fonte

Risposte:

È possibile utilizzare apt-file per cercare i file all'interno dei pacchetti

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

Capisco texlive-latex3: /usr/share/texmf-texlive/tex/latex/mh/breqn.sty, quindi ...

sudo apt-get install texlive-latex3

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

— Pantera
fonte

Grazie per averlo menzionato apt-file update. Avevo pensato che si apt-get updatesarebbe applicato anche a apt-filequesto, ma non è stato così.

— user001,

Stai cercando texlive-latex3. L'ho scoperto installando apt-file e usandolo in questo modo:

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

Il che mi dà il nome del pacchetto e il file.

Come faccio a capire in quale pacchetto si trova qualcosa senza ricorrere a Google?

— Jorge Castro
fonte

@ user001 Questo è un sito su Ubuntu non debian, è necessario porre la propria domanda su unix.stackexchange.com se si tratta di Debian.

— Jorge Castro,

In realtà, non importa, ha funzionato. Ho dovuto correre apt-file updatecome ha sottolineato @ bodhi-zazen. Ho pensato che apt-get updatesarebbe stato sufficiente, ma suppongo che mantengano cache dei pacchetti separate. Sapevo che in questo caso i risultati sarebbero stati ugualmente utili per gli utenti Ubuntu e Debian, quindi è per questo che l'ho pubblicato. Uso entrambi.

— user001,

@ user001 Quando l'ho installato sul mio mi ha spinto ad aggiornarlo automaticamente, ma ho aggiornato la mia risposta per essere sicuro.

— Jorge Castro,

Grazie. Si è scoperto che avevo già apt-fileinstallato sul mio sistema senza accorgermene, quindi è per questo che non mi è stato richiesto. Probabilmente non correvo da apt-file updateun po '.

— user001,