From fbb408f8171845dc1dcfc66c8711d70714b9ddfd Mon Sep 17 00:00:00 2001
From: Luke Sneeringer <luke@sneeringer.com>
Date: Thu, 19 Jun 2014 14:53:02 -0500
Subject: [PATCH] Rename tools/vagrant to tools/dev_setup

Because these playbooks (should) work without Vagrant!
---
 Vagrantfile | 4 ++--
 ansible.cfg | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index eecb9d743a..4710edbf2e 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -34,8 +34,8 @@ Vagrant.configure('2') do |config|
       'vagrant' => true,
       'vagrant_host_user' => ENV['USER'],
     }
-    ansible.inventory_path = 'tools/vagrant/inventory'
-    ansible.playbook = 'tools/vagrant/playbook.yml'
+    ansible.inventory_path = 'tools/dev_setup/inventory'
+    ansible.playbook = 'tools/dev_setup/playbook.yml'
     ansible.verbose = 'v'
   end
 end
diff --git a/ansible.cfg b/ansible.cfg
index 32ffcc5216..f84e3cc638 100644
--- a/ansible.cfg
+++ b/ansible.cfg
@@ -11,5 +11,5 @@ module_name = shell
 
 
 # Paths
-roles_path = setup/roles:tools/vagrant/roles
+roles_path = setup/roles:tools/dev_setup/roles