dougm/vagrant-tramp — pull request #10 by jobevers (2014-12-06 01:15:37+00:00)
Title: fix virtualbox loop to make sure we have the right box

Ran into problem while running multiple virtual machines, some of which weren't managed by vagrant.

These changes fixed the problem for me.