tor-webwml.git

1) // This code is based on the http://mozilla.debian.net sources.list
2) // generator as originally written by Mike Hommey. It is licensed under
3) // the terms of the GNU GPLv2, http://www.gnu.org/licenses/gpl-2.0.html.
4) var sources = {};
5) var software = {
6) 'tor': { '_stable': {
7)                      'jessie':  [ 'jessie' ],

8)                      'stretch': [ 'stretch' ],
9)                      'buster':  [ 'buster' ],

10)                      'sid':     [ 'sid' ],
11)                      'trusty':  [ 'trusty'],
12)                      'xenial':  [ 'xenial'],

13)                      'artful':  [ 'artful'],

14)                      'bionic':  [ 'bionic'],

15)                      },

16)          'experimental-0.3.3.x': {

17)                      'jessie':  [ 'jessie' ],
18)                      'stretch': [ 'stretch' ],

19)                      'buster':  [ 'buster' ],

20)                      'sid':     [ 'sid' ],
21)                      'trusty':  [ 'trusty'],

22)                      'xenial':  [ 'xenial'],

23)                      'artful':  [ 'artful'],

24)                      'bionic':  [ 'bionic'],

25)                      },
26)          'nightly-master': {
27)                      'jessie':  [ 'jessie' ],
28)                      'stretch': [ 'stretch' ],
29)                      'buster':  [ 'buster' ],
30)                      'sid':     [ 'sid' ],
31)                      'trusty':  [ 'trusty'],

32)                      'xenial':  [ 'xenial'],

33)                      'artful':  [ 'artful'],

34)                      'bionic':  [ 'bionic'],

35)                      },
36)        },
37) 'tor (from source)': {
38)          '_stable': {
39)                      'jessie':  [ 'jessie' ],
40)                      'stretch': [ 'stretch' ],

41)                      'buster':  [ 'buster' ],

42)                      'sid':     [ 'sid' ],
43)                      'trusty':  [ 'trusty'],
44)                      'xenial':  [ 'xenial'],

45)                      'artful':  [ 'artful'],

46)                      'bionic':  [ 'bionic'],

47)                      },

48)          'experimental-0.3.3.x': {

49)                      'jessie':  [ 'jessie' ],
50)                      'stretch': [ 'stretch' ],

51)                      'buster':  [ 'buster' ],

52)                      'sid':     [ 'sid' ],
53)                      'trusty':  [ 'trusty'],
54)                      'xenial':  [ 'xenial'],

55)                      'artful':  [ 'artful'],

56)                      'bionic':  [ 'bionic'],

57)                      },
58)        },
59) };
60) 
61) function init() {

62)     document.getElementById("distrib").addEventListener("change", update);
63)     document.getElementById("package").addEventListener("change", update);
64)     document.getElementById("version").addEventListener("change", update);
65) 

66)     pkg = document.getElementById('package');
67)     for (soft in software) {
68)         if (soft != pkg.value) {
69)             option = document.createElement('option');
70)             option.value = soft;
71)             option.appendChild(document.createTextNode(soft.charAt(0).toUpperCase() + soft.slice(1)));
72)             pkg.appendChild(option);
73)         }
74)     }
75) 
76)     apt_get = document.getElementById('apt-get');
77)     para = document.createElement('p');
78)     para.id = 'sorry';
79)     para.style.display = 'none';
80)     apt_get.parentNode.insertBefore(para, apt_get);
81)     para.appendChild(document.createTextNode("Sorry, this version is not available.\n"));
82) 
83)     document.getElementById('selector').style.display = 'block';
84) 
85)     update();
86) }
87) 
88) function replaceText(src, txt) {
89)     while (src.firstChild)
90)         src.removeChild(src.firstChild);
91)     src.appendChild(document.createTextNode(txt));
92) }
93) 
94) function update() {
95)     pkg = document.getElementById('package');
96)     ver = document.getElementById('version');
97)     package = pkg.value;
98)     version = ver.value;
99)     distrib = document.getElementById('distrib').value;
100)     if (package != pkg.prev) {
101)         while (ver.firstChild)
102)             ver.removeChild(ver.firstChild);
103)         var selected;
104)         for (version in software[package]) {
105)             option = document.createElement('option');
106)             if (version[0] == '_') {
107)                 version = version.slice(1);
108)                 selected = version;
109)             }
110)             option.appendChild(document.createTextNode(version));
111)             option.value = version = version.replace(/ \(.*\)/,'');
112) //alert(version);
113)             ver.appendChild(option);
114)         }
115)         ver.value = version = selected || version;
116)         pkg.prev = package
117)     }
118)     try {
119)         keys = software[package][version][distrib];
120)     } catch (e) {
121)         try {
122)             keys = software[package]['_' + version][distrib];
123)         } catch (e) { };
124)     }
125)     src = document.getElementById('sources');
126)     txt = '';
127)     need_signed = false;
128)     source_install = false;
129)     target = '';
130)     for (i = 0; keys && (i < keys.length); i++) {
131) //alert(keys[i]);
132)         if (keys[i] in sources) {
133)             txt += sources[keys[i]];
134)             target = keys[i];
135)         } else {
136)             if (package.slice(-7, -1) == 'source') {
137)                 package = package.split(' ')[0];
138)                 source_install = true;
139)             }

140)             txt += "https://deb.torproject.org/torproject.org";

141)             txt += " ";
142)             txt += keys[i];
143)             txt += " main";
144)             need_signed = true;
145)             target = keys[i];
146)             txt = "deb " + txt + "\ndeb-src " + txt;
147)             if (version != 'stable') {

148)                 txt2 = "https://deb.torproject.org/torproject.org";