benetech/mediawiki-services-mathoid — pull request #4 by mohit-agarwal (2014-05-09 13:32:07+00:00)
Title: Vagrantfile Modified

By default, vagrant shares the project directory to the /vagrant directory in the guest machine. However in some cases, the project directory is not synced with the guest machine. As a result, when the user ssh into the guest machine, he may not find any /vagrant folder.

Adding above line to the Vagrantfile ensures that the project directory on the host machine is synced with the guest machine, and the project files would be present in the /vagrant folder. Any changes made to files in /vagrant folder in the guest machine, would then be reflected in the project directory on the host machine.