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. _______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
