The folder containing the Vagrantfile is shared automatically to /vagrant folder in the VM.
Of course, there is a way of making more shared folders, see the vagrant manual for instructions: https://docs.vagrantup.com/v2/synced-folders/basic_usage.html So just add: config.vm.synced_folder "/home/arnold", "/mnt" into the config section of the Vagrantfile. There are different types of shares, if you have performance problems with Virtualbox shares you can try NFS or rsync. A little further note; the normal Vagrant workflow is that one brings up fresh machines all the time, therefore all of your 'work' should be held in folders on the hos that are shared into the virtual machine. In the next few weeks I will work on the Docker/Vagrant support with Garth so that Linux users can have close to 100% performance using the light-weight Docker virtualisation. This will be nice as users then can have dev/1.4/1.3 installed. I have something similar setup already with virtualenv but its not as easy as this. Jack Hale _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
