robbyrussell/oh-my-zsh — pull request #3177 by pogopaule (2014-09-25 20:47:51+00:00)
Title: add aliases for vagrant commands frequently needed

the aliases follow a scheme, similar to the those of the git plugin
see https://github.com/robbyrussell/oh-my-zsh/blob/master/plugins/git/git.plugin.zsh