get root ssh pub key path from configuration
authorMarc Fiuczynski <mef@cs.princeton.edu>
Sat, 24 Oct 2009 12:31:32 +0000 (12:31 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Sat, 24 Oct 2009 12:31:32 +0000 (12:31 +0000)
db-config.d/01-init

index 71453a0..05c3f37 100644 (file)
@@ -59,7 +59,7 @@ AddRoleToPerson(10, admin['person_id'])
 AddRoleToPerson(20, admin['person_id'])
 
 # Associate root ssh key with the default administrator
-keyfile="/etc/planetlab/root_ssh_key.pub"
+keyfile=plc['root_ssh_key_pub']
 person = GetPersons(admin['person_id'])[0]
 keys = GetKeys(person['key_ids'])
 if os.path.exists(keyfile):