Re: File-Suche in Debian
Am 12.05.20 um 13:44 schrieb Hilmar Preuße:
> ich suche in Debian nach einem File. In dem Fall auf
> https://packages.debian.org/ nach tkz-berge [1]. Ich kriege 3 Treffer:
>
> /usr/share/doc/texlive-doc/latex/tkz-berge/readme-tkz-berge.txt
> texlive-pictures-doc
> /usr/share/doc/texlive-doc/latex/tkz-berge/tkz-berge-screen.pdf
> texlive-pictures-doc
> /usr/share/texlive/texmf-dist/tex/latex/tkz-berge/tkz-berge.sty
> texlive-pictures
>
> Das ist aber falsch, das Paket texlive-pictures enthält das fragliche
> File nicht, was mir auch von apt-file bestätigt wird: es ist mit dem
> Upload von TeX Live 2020 verschwunden.
Da steht ja auch nicht, dass es eine Datei tkz-berge in einem der Pakete
gäbe.
Denn Deine Suchabfrage lautet: "Suche nach Dateinamen, die Folgendes
enthalten" - und *enthalten* ist tkz-berge in den Pfaden/Dateinamen.
Es wird ja sogar noch per Fettschrift hervorgehoben, wo der String matcht.
Es gibt in den Paketen jeweils ein Verzeichnis tkz-berge, und Dateien,
die den String tkz-berge enthalten.
Ich vermute, Du willst eigentlich die Option "nach exaktem Dateinamen
suchen" verwenden.
Die wird Dir auf der Ergebnisseite auch oben als Alternative angeboten:
<https://packages.debian.org/search?suite=sid&arch=any&mode=exactfilename&searchon=contents&keywords=tkz-berge>
Gruß
Stefan
Reply to: