Re: [Tails-dev] Heads up: upgrade your Vagrant build setup

Delete this message

Reply to this message
Autore: intrigeri
Data:  
To: The Tails public development discussion list
Oggetto: Re: [Tails-dev] Heads up: upgrade your Vagrant build setup
anonym:
> The Vagrant basebox has been updated, and apparently Vagrant won't
> switch to it automatically. To completely delete the old builder VM and
> basebox, please run these commands from Tails' Git root:


FWIW I've personally kept the old one around, since branches based on
stable are supposed to be built with it (I think). So I just did:

  rm -rf vagrant/.vagrant/                                                  


… in my checkout of the devel branch.