[General Options] First run=false [GPG Settings] Groups= gpg_config_path=$HOME/.gnupg/options [Servers] Server_List=hkp://keyserver.ubuntu.com (Default),hkp://wwwkeys.eu.pgp.net,hkp://search.keyserver.net,hkp://wweys.pgp.net,hkp://pgp.dtype.org,hkp://wwwkeys.us.pgp.net