Update debian-selector.js and fix default text in page
hiro commited on 2018-04-02 18:22:03
Zeige 2 geänderte Dateien mit 3 Einfügungen und 3 Löschungen.
- docs/debian-selector.js 12554c197..493fd2358
- docs/en/debian.wml 1fe14dfa5..6f86bd283
| ... | ... |
@@ -132,7 +132,7 @@ function update() {
|
| 132 | 132 |
package = package.split(' ')[0];
|
| 133 | 133 |
source_install = true; |
| 134 | 134 |
} |
| 135 |
- txt += "http://deb.torproject.org/torproject.org"; |
|
| 135 |
+ txt += "https://deb.torproject.org/torproject.org"; |
|
| 136 | 136 |
txt += " "; |
| 137 | 137 |
txt += keys[i]; |
| 138 | 138 |
txt += " main"; |
| ... | ... |
@@ -140,7 +140,7 @@ function update() {
|
| 140 | 140 |
target = keys[i]; |
| 141 | 141 |
txt = "deb " + txt + "\ndeb-src " + txt; |
| 142 | 142 |
if (version != 'stable') {
|
| 143 |
- txt2 = "http://deb.torproject.org/torproject.org"; |
|
| 143 |
+ txt2 = "https://deb.torproject.org/torproject.org"; |
|
| 144 | 144 |
txt2 += " "; |
| 145 | 145 |
txt2 += package; |
| 146 | 146 |
txt2 += "-"; |
| ... | ... |
@@ -89,7 +89,7 @@ version |
| 89 | 89 |
<div id="apt-source"> |
| 90 | 90 |
<p>You need to add the following entry in <code>/etc/apt/sources.list</code> or a new file in <code>/etc/apt/sources.list.d/</code>:</p> |
| 91 | 91 |
|
| 92 |
-<blockquote><pre id="sources">deb https://deb.torproject.org/torproject.org stretch main |
|
| 92 |
+<blockquote><pre id="sources">deb https://deb.torproject.org/torproject.org jessie main |
|
| 93 | 93 |
</pre></blockquote> |
| 94 | 94 |
</div> |
| 95 | 95 |
|
| 96 | 96 |