tools/docs/Vagrantfile@97036ab72558 (annotated)
tools/docs/Vagrantfile
Tue, 06 Jan 2015 21:39:09 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Tue, 06 Jan 2015 21:39:09 +0100
- branch
- TOR_BUG_9701
- changeset 8
- 97036ab72558
- permissions
- -rw-r--r--
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| michael@0 | 1 | # -*- mode: ruby -*- |
| michael@0 | 2 | # vi: set ft=ruby : |
| michael@0 | 3 | |
| michael@0 | 4 | # We intentionally use the old config format because Mozilla's Jenkins |
| michael@0 | 5 | # server doesn't run a modern Vagrant. |
| michael@0 | 6 | Vagrant::Config.run do |config| |
| michael@0 | 7 | config.vm.box = "precise64" |
| michael@0 | 8 | config.vm.box_url = "http://files.vagrantup.com/precise64.box" |
| michael@0 | 9 | config.vm.share_folder("gecko", "/gecko", "../..") |
| michael@0 | 10 | # Doxygen needs more than the default memory or it will swap and be |
| michael@0 | 11 | # extremely slow. |
| michael@0 | 12 | config.vm.customize ["modifyvm", :id, "--memory", 2048] |
| michael@0 | 13 | end |
