- # Add a new UID if appropriate
- if [ "$comment" != "$PLC_NAME Central (http://$PLC_WWW_HOST/) <$PLC_MAIL_SUPPORT_ADDRESS>" ] ; then
- gpg --homedir=/etc/planetlab --no-permission-warning --no-tty --yes \
- --command-fd 0 --status-fd 1 --edit-key $fingerprint <<EOF
+ # Add a new UID if appropriate. GPG will detect and merge duplicates.
+ gpg --homedir=/etc/planetlab --no-permission-warning --no-tty --yes \
+ --command-fd 0 --status-fd 1 --edit-key $fingerprint <<EOF