gtkpasman-scripts/gpasman4_editor_recupgpgkeys.sh

#!/usr/bin/env bash

# anti /bin/sh de merde
if [ $_ = "/bin/sh" ]
then
        echo "A lancer avec bash"
        exit
fi

. gpasman4_keylist
# echo "keylist=${keylist[@]}"
# echo "keylistr=$keylistr"
#gpg --keyid-format long --keyserver keys.gnupg.net --recv-keys ${keylist[@]}
gpg --keyid-format long --keyserver hkp://pgp.mit.edu --recv-keys ${keylist[@]}
#gpg --keyid-format long --keyserver keyserver.ubuntu.com --recv-keys ${keylist[@]}

for oldkey in ${oldkeylist[@]}
do
  gpg --batch --delete-key ${oldkey} 2>/dev/null
done