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