diff --git a/plugins/available/vagrant-as-root.plugin.bash b/plugins/available/vagrant-as-root.plugin.bash new file mode 100644 index 00000000..74ff24c5 --- /dev/null +++ b/plugins/available/vagrant-as-root.plugin.bash @@ -0,0 +1,4 @@ +# Simple function for vagrant ssh that immediately switches to root. +function vssh() { + vagrant ssh $1 -- -t 'sudo su -; /bin/bash' + }