deb/Vagrantfile: share .., so we can put the deb there.
commitc9693ae1f454475d336c8307c492326554000f78
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 24 Oct 2015, 22:57 (11 years ago)
parent31e46c1
deb/Vagrantfile+1−1
@@ -37,7 +37,7 @@ Vagrant.configure(2) do |config|
3737 # the path on the host to the actual folder. The second argument is
3838 # the path on the guest to mount the folder. And the optional third
3939 # argument is a set of non-required options.
40− config.vm.synced_folder ".", "/vagrant_data"
40+ config.vm.synced_folder "..", "/vagrant_data"
4141
4242 # Provider-specific configuration so you can fine-tune various
4343 # backing providers for Vagrant. These expose provider-specific options.