diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 22:57:16 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 22:57:16 -0700 |
| commit | c9693ae1f454475d336c8307c492326554000f78 (patch) | |
| tree | 66399aef4fafac44d766f9f24267c06ab9966197 /deb | |
| parent | 31e46c1cc18da0563a7a84607ff75b049d16f247 (diff) | |
| download | pandoc-c9693ae1f454475d336c8307c492326554000f78.tar.gz | |
deb/Vagrantfile: share .., so we can put the deb there.
Diffstat (limited to 'deb')
| -rw-r--r-- | deb/Vagrantfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deb/Vagrantfile b/deb/Vagrantfile index f0f2697ca..f52de8ff9 100644 --- a/deb/Vagrantfile +++ b/deb/Vagrantfile @@ -37,7 +37,7 @@ Vagrant.configure(2) do |config| # the path on the host to the actual folder. The second argument is # the path on the guest to mount the folder. And the optional third # argument is a set of non-required options. - config.vm.synced_folder ".", "/vagrant_data" + config.vm.synced_folder "..", "/vagrant_data" # Provider-specific configuration so you can fine-tune various # backing providers for Vagrant. These expose provider-specific options. |