On Thu, Mar 17, 2011 at 6:51 AM, Marco De Bortoli
<marco.pk....@gmail.com> wrote:
> Hi all,
>
> I'm new to vagrant but already in love with it... and I started to
> play with this amazing piece of awesomeness only yesterday.
> As per subject I was wondering, since I didn't find any relavant
> information around, if there a way to change the default home folder,
> currently in my case located to ~/.vagrant/, to point somewhere else.
You can change the home directory by setting the VAGRANT_HOME
environmental variable to point to the directory you want to use. Note
that this has to be the full path (Vagrant doesn't append ".vagrant"
or anything to it) to where you want Vagrant to create files.
>
> The main idea is to have a pool of boxes in a, let's say so, common
> "local" location available to multiple users once downloaded, for
> instance, from a remote location.
>
> Is it clear enough what I'm trying to do? If not feel free to ask for
> further information.
>
This makes a lot of sense. In the work I've been doing for the next
version of Vagrant I've actually toyed with the idea of having
multiple Vagrant box download locations available (for example one in
/etc/vagrant, one in ~/.vagrant, etc.) so there could be both boxes
available to all users, and also local users.
Mitchell