[tor-bugs] #12954 [Website]: Need more space for Tor dist files (e.g. split www and dist?)

[Tor Bug Tracker & Wiki]

#12954: Need more space for Tor dist files (e.g. split www and dist?)
-------------------------+-------------------
     Reporter:  arma     |      Owner:
         Type:  defect   |     Status:  new
     Priority:  normal   |  Milestone:
    Component:  Website  |    Version:
   Resolution:           |   Keywords:
Actual Points:           |  Parent ID:  #4234
       Points:           |
-------------------------+-------------------

Comment (by phobos):

 Replying to [comment:4 arma]:
 > Replying to [comment:3 phobos]:
 > > And then we should tell the 3rd party website mirrors, because they
 are likely going to run out of space quickly.
 >
 > Would things be better if we made the instructions easier to rsync the
 website with --exclude dist, and some website mirrors would include dist/
 and some wouldn't? It looks like the table on
 https://www.torproject.org/getinvolved/mirrors is already set up to handle
 this distinction.

 We could try. I think a website mirror without dist isn't worth much. And
 right now, dist is part of the website. There is no separate dist site,
 it's just a pointer to www.torproject.org/dist directory.

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