Thanks. It works as expected, and I find I can use ~ for my home directory, so it doesn't have to be hard-coded, which would make things more difficult for other users sharing the Vagrantfile.
- dpb On Sunday, March 8, 2015 at 7:55:44 PM UTC-4, Alvaro Miranda Aguilera wrote: > > Hello, > > Yes, you need to see the folders in linux as : > > / is the root of the vm, lives inside of the vm > /vagrant in the vm, is the directory where is the Vagrantfile > > Any other directory in the host, you want to see on the guest > (assuming vmware and virtualbox here), you need to create a new shared > folder. > > example: > > https://docs.vagrantup.com/v2/synced-folders/basic_usage.html > > config.vm.synced_folder "src/", "/srv/website" > > order of path is host, guest. > > > config.vm.synced_folder "/Users/username/vagrant_environments", > "/vagrant_environments" > > Give it a try > > if the guest is up, a vagrant reload should take care > > On Mon, Mar 9, 2015 at 12:21 PM, dpb dpb <[email protected] > <javascript:>> wrote: > > I am running Vagrant v. 1.7.2 on Mac OS 10.9.5. > > > > Various directories each containing their own Vagrant file are located > > within > > > > /Users/username/vagrant_environments > > > > on my system. From within a running Vagrant environment the > highest-level > > directory I seem to be able to access is `/` or `/vagrant`. Is there a > way > > for me to configure the environment so that I can access either > directory > > vagrant_environments or those of its subdirectories other than the one > > containing the Vagrantfile for the environment I am presently in? > > > > Thanks. > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "Vagrant" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Vagrant" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
