Brian Cain ffec0ff8d9 (#8697) Introduce extra_args setting for ssh configs ... Prior to this commit, there was no way to add additional ssh arguments within a Vagrantfile for a given vagrant machine. This commit introduces a new option extra_args that allows users to pass in a single argument or an array of flags that will be added onto the ssh command.		2017-08-17 09:02:20 -07:00
..
config	(#8697) Introduce extra_args setting for ssh configs	2017-08-17 09:02:20 -07:00
plugin.rb	Super primitive implementation of Environment#push	2014-12-08 11:35:10 -08:00