commit c3dd2c8b0593217fcbfd4a16f02652089bf4608b
author Zack Williams <zdw@cs.arizona.edu> Mon Jun 19 22:05:49 2017 -0700
committer Zack Williams <zdw@cs.arizona.edu> Tue Jun 20 11:04:25 2017 -0700
tree b773b7efbc60db8bd4509010276ac3386dda4700
parent d85d5a817084a46c783c660ecec903ac08ce59c6

[CORD-1474]
Use value of config_cord_profile_dir from config node, rather than head
node

Change-Id: I33c6029c52824921553316d25a4cb13227f68e61

roles/repo/defaults/main.yml

diff --git a/roles/repo/defaults/main.yml b/roles/repo/defaults/main.yml
index 6ef6c5a..521d097 100644
--- a/roles/repo/defaults/main.yml
+++ b/roles/repo/defaults/main.yml
@@ -1,7 +1,7 @@
 ---
 # repo/defaults/main.yml
 
-config_cord_dir: "{{ ansible_user_dir + '/cord' }}"
+config_cord_dir: "{{ ansible_user_dir ~ '/cord' }}"
 repo_dl_url: "https://storage.googleapis.com/git-repo-downloads/repo"
 
 # This is for repo v1.23, and will change, as repo_dl_url unfortunately lacks a version...