home · contact · privacy
Update Firefox.
[config] / all_new_2018 / setup_scripts / add_encryption_key.sh
1 #!/bin/sh
2 set -e
3
4 # Ensure we have a GPG target to encrypt to.
5 if [ $# -lt 1 ]; then
6     echo "Need public key ID as argument."
7     false
8 fi
9 gpg_key="$1"
10
11 config_tree_prefix="${HOME}/config/all_new_2018"
12 apt -y install gnupg dirmngr
13 keyservers='sks-keyservers.net/ keys.gnupg.net'
14 set +e
15 while true; do
16     do_break=0
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
20             do_break=1
21             break
22         fi
23         echo "Attempt with keyserver ${keyserver} unsuccessful, trying other."
24     done
25     if [ "${do_break}" -eq "1" ]; then
26         break
27     fi
28 done
29 set -e
30 # TODO: We may remove dirmngr here if only this script installed it.