From cef03f5c4bfad0885e670ff7a535366296f55db6 Mon Sep 17 00:00:00 2001
From: Matthias Kretschmann <matthias.kretschmann@ezeep.com>
Date: Sun, 21 Apr 2013 16:03:15 +0200
Subject: [PATCH] add vagrant to PATH

---
 bash_profile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bash_profile b/bash_profile
index 9c9ebaa..2ed19e6 100644
--- a/bash_profile
+++ b/bash_profile
@@ -49,6 +49,8 @@ ANDROID_HOME="/usr/local/Cellar/android-sdk/r21"
 [ -d "$HOME/.rvm/bin" ] && PATH="$HOME/.rvm/bin:$PATH"; # Add RVM to PATH for scripting
 [[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function*
 
+[ -d "/Applications/Vagrant/bin" ] && PATH="/Applications/Vagrant/bin:$PATH"; # vagrant binary
+
 export PATH
 
 # ----------------------------------------------------------------------