no longer hard coding gpg server url

2014-10-31 13:44:43 +00:00
parent 32b4313d31
commit 8dcb72c141
2 changed files with 4 additions and 1 deletions
--- a/defaults/main.yml
+++ b/defaults/main.yml
@@ -29,3 +29,6 @@ rvm1_rvm_check_for_updates: True
 #           Identity proof: https://keybase.io/mpapis
 #           PGP message: https://rvm.io/mpapis.asc
 rvm1_gpg_keys: 'D39DC0E3'
+
+# The GPG key server
+rvm1_gpg_key_server: 'hkp://keys.gnupg.net'