update config to use rcord
Change-Id: Ib944257d049c297e7dcbac61deb5f1867c47a8d2
diff --git a/config/onlab_develop_pod.yml b/config/onlab_develop_pod.yml
index f68bbfe..dfda974 100644
--- a/config/onlab_develop_pod.yml
+++ b/config/onlab_develop_pod.yml
@@ -9,6 +9,15 @@
ansible_ssh_port: 22
common:
+
+ # set to the profile of cord you want to install
+ cord_profile: 'rcord'
+
+ # directories on the head node that the cord dir is copied to, and profile is created in
+ cord_dir: '/opt/cord'
+ cord_profile_dir: '/opt/cord_profile'
+
+
# all of these are written to genconfig/config.yml, and needs a rework
# Network address information for the head node: