Created
December 10, 2015 09:52
-
-
Save vignesh0025-zz/3cd235cf0d22da7c1c2b to your computer and use it in GitHub Desktop.
Vagrant shell script for global use.. ID need not be remembered. :-)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
BOX_ID=ddf432e #Change this id from ID using vagrant global-status | |
vagrant () | |
{ | |
case $1 in | |
up|halt|suspend|ssh|resume|provision|destroy|reload) | |
/usr/local/bin/vagrant $1 ddf432e | |
;; | |
*) | |
/usr/local/bin/vagrant $* | |
;; | |
esac | |
} | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment