Re: [Tails-dev] [review'n'merge: 1.3] feature/8725-remove-vagrant-bootstrap-cache

2015-01-26 Thread anonym
On 23/01/15 12:16, intrigeri wrote: hi, anonym wrote (23 Jan 2015 10:34:47 GMT) : This kills the bootstrap stage caching feature in our Vagrant setup, which is considered harmful. Please review and merge into devel! The code looks good to me. Who in here still has a working Vagrant-based

Re: [Tails-dev] [review'n'merge: 1.3] feature/8725-remove-vagrant-bootstrap-cache

2015-01-26 Thread intrigeri
anonym wrote (26 Jan 2015 12:32:55 GMT) : So a `lb clean --all` will remove the built wiki etc. The Vagrant build script is actually quite clever in that it *will* reuse any cached wiki, which can save a couple minutes of build time. I personally find this quite useful. Good to know, thanks!

[Tails-dev] [review'n'merge: 1.3] feature/8725-remove-vagrant-bootstrap-cache

2015-01-23 Thread anonym
Hi, This kills the bootstrap stage caching feature in our Vagrant setup, which is considered harmful. Please review and merge into devel! Cheers! ___ Tails-dev mailing list Tails-dev@boum.org https://mailman.boum.org/listinfo/tails-dev To unsubscribe

Re: [Tails-dev] [review'n'merge: 1.3] feature/8725-remove-vagrant-bootstrap-cache

2015-01-23 Thread intrigeri
hi, anonym wrote (23 Jan 2015 10:34:47 GMT) : This kills the bootstrap stage caching feature in our Vagrant setup, which is considered harmful. Please review and merge into devel! The code looks good to me. Who in here still has a working Vagrant-based build setup to confirm it works fine?