Apt package manager
Apt is a package manager for Debian based distributions.
Skip downloading translations§
To save bandwidth by not downloading package descriptions in languages other than English:
echo 'Acquire::Languages "none";' | sudo tee /etc/apt/apt.conf.d/99disable-translations
Add GPG keys§
To list existing keys:
sudo apt-key list
To retrieve a repository’s GPG key and add it to the system keyring:
wget -nv https://download.opensuse.org/repositories/home:kozec/xUbuntu_18.10/Release.key -O Release.key
sudo apt-key add - < Release.key
To retrieve and add a missing key using its id:
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 7638D0442B90D010
To do the above process in two steps:
gpg --keyserver subkeys.pgp.net --recv-keys 55BE302B
gpg -a --export 55BE302B | sudo apt-key add -
Search for packages containing file§
Install apt-file and update it’s file name database:
sudo apt install apt-file
sudo apt-file update
To search for a file, for example biblatex.sty
(as user):
apt-file -x search '/biblatex.sty$'
texlive-bibtex-extra: /usr/share/texlive/texmf-dist/tex/latex/biblatex/biblatex.sty
If you have any questions or comments on this post, please send them by email to vimal (at) disroot (dot) org.
If you would like your comment to remain anonymous, please state that in your email. In any case, your email address will not be published.