4 # Ensure we have a GPG target to encrypt to.
6 echo "Need public key ID as argument."
11 config_tree_prefix="${HOME}/config/all_new_2018"
12 apt -y install gnupg dirmngr
13 keyservers='sks-keyservers.net/ keys.gnupg.net'
17 for keyserver in $(echo "${keyservers}"); do
18 su plom -c "gpg --no-tty --keyserver $keyserver --recv-key ${gpg_key}"
19 if [ $? -eq "0" ]; then
23 echo "Attempt with keyserver ${keyserver} unsuccessful, trying other."
25 if [ "${do_break}" -eq "1" ]; then
30 # TODO: We may remove dirmngr here if only this script installed it.