Vimalkumar Velayudhan

Menu

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.