[tor-bugs] #11417 [Tor Weather]: add vagrant file for weather

[Tor Bug Tracker & Wiki]

#11417: add vagrant file for weather
-----------------------------+-----------------------------
     Reporter:  feverDream   |      Owner:  baumanno
         Type:  task         |     Status:  assigned
     Priority:  normal       |  Milestone:
    Component:  Tor Weather  |    Version:
   Resolution:               |   Keywords:  weather-rewrite
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+-----------------------------

Comment (by meejah):

 See also some fixups I'd been doing to buamanno's branch here:
 https://github.com/meejah/tor-weather/tree/vagrant-baumanno

 Using /home/weather/... in vagrant works fine.

 There are two things I don't know how to handle:

 1. file-based email (vs. "real"). Karsten suggested on #tor-dev to just
 have file-only backend configured in Git, and an actual-deployer would
 have to change that.
 2. the name of the server (in config.py): weather.dev seems like a good
 idea for development (so you don't panic when you changed an /etc/hosts
 entry and try to visit the "real" weather etc) but then that's two things
 for the deployer to remember :)

 I think I forgot to commit/push the config-vagrant.py I had.

 What about this for the general case:

 1. Git is set up for dev "out of the box"; "git clone" + "vagrant up"
 gives you a running weather.
 2. There is a "deploy" script of some sort which does fixups like the two
 things above. (so "git clone" + "make deploy" or something makes it go on
 "the real infrastructure").

 Still we don't want to have many differences between the two environments,
 so e.g. paths should all be the same etcetera.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/11417#comment:12>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online