diff options
Diffstat (limited to 'monkeysphere.conf')
| -rw-r--r-- | monkeysphere.conf | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/monkeysphere.conf b/monkeysphere.conf deleted file mode 100644 index cd5e3b2..0000000 --- a/monkeysphere.conf +++ /dev/null @@ -1,15 +0,0 @@ -# monkeysphere system configuration file - -# This is particular configuration is meant to be sourced by the -# rhesus shell script when run in administrative mode to maintain -# authorized_keys files for users. - -AUTH_USER_FILE=/etc/monkeysphere/auth_user_ids/"$USER" - -STAGING_AREA=/var/lib/monkeysphere/stage/"$USER" - -# gpg home directory for server -GNUPGHOME=/etc/monkeysphere/gnupg - -# gpg keyserver to search for keys -KEYSERVER=subkeys.pgp.net |