Since the tramp does not support this directly, I would do something like this.
First, save all your Vagrantfiles in subdirectories of the same directory on the host server. Then create a vagrant_runner script on your main machine, looking something like this:
#!/bin/bash VAGRANT_HOME='/home/bar/vagrant' cd ${VAGRANT_HOME}/$1
Then on your laptop you will have an rvagrant script:
#!/bin/bash VAGRANT_HOST=dnsname_of_vagrant_host VAGRANT_USER=vagrant_user ssh ${VAGRANT_USER}@${VAGRANT_HOST} vagrant_runner $@
You can then do rvagrant foo up to start the vms defined in / home / bar / vagrant / foo / Vagrantfile, or rvagrant foo destroy -f to destroy it.
source share