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

Supprimer ce message

Répondre à ce message
Auteur: intrigeri
Date:  
À: The Tails public development discussion list
Sujet: 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.