11 GPG keys

Created Monday 17 August 2020

For pacman developer keys use eg:

sudo pacman-key --recv-keys 95C357D2AF5DA89D
sudo pacman-key --finger 95C357D2AF5DA89D
sudo pacman-key --lsign-key 95C357D2AF5DA89D

If you downloaded a keyfile:

sudo pacman-key --add home_post-factum_kernels_Arch.key

Examples getting GPG keys:

gpg --keyserver https://keyserver.ubuntu.com/ --search-keys 702353E0F7E48EDB

gpg --keyserver https://keyserver.ubuntu.com/ --recv-keys 702353E0F7E48EDB

https://wiki.archlinux.org/index.php/GnuPG#Use_a_keyserver

You can setup your gpg.conf to do it more simply:
~/.gnupg/gpg.conf

keyserver https://keyserver.ubuntu.com/
keyserver-options no-honor-keyserver-url
keyserver-options auto-key-retrieve

After updating gpg.conf with the info above you may just use:
gpg --recv-keys 702353E0F7E48EDB