Ricerca in repository di pacchetti per contenuto


8

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?

Risposte:


9

È 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


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

2

Stai cercando texlive-latex3. L'ho scoperto installando apt-file Installa 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.


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

1
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,

1
@ 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,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.