On Sun, 26 Nov 2017 16:57:12 +0000, Fons Adriaensen wrote:
- which keyserver to use ?
In cases of doubt simply use
keys.gnupg.net ;).
To get a key by alias or by scripts I'm using different key servers e.g. [1].
Aren't the servers synced? I guess it's just useful that "Some famous LAD
members sign" your key, not which server you use to upload your key.
[1]
[rocketmouse@archlinux ~]$ grep hkp .bashrc
alias gkey='gpg --keyserver hkp://pgp.uni-mainz.de --recv-keys'
alias gkey2='gpg2 --keyserver
hkp://keys.gnupg.net --recv-keys'
[rocketmouse@archlinux ~]$ grep hkp luamd64_1610.sh
key gpg --keyserver
hkp://keyserver.ubuntu.com --recv-keys FBB75451 EFE21092
--
$ pacman -Q linux{,-rt{,-cornflower,-pussytoes}}|awk '{print $2}'
4.14-2
4.13.13_rt5-1
4.11.12_rt16-1
4.14_rt1-1