commit 7bf85595ea1e22e2af5306c587e62234455970ba Author: hiro hiro@torproject.org Date: Mon Apr 2 18:20:56 2018 +0200
Update debian-selector.js and fix default text in page --- docs/debian-selector.js | 4 ++-- docs/en/debian.wml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/docs/debian-selector.js b/docs/debian-selector.js index 12554c19..493fd235 100644 --- a/docs/debian-selector.js +++ b/docs/debian-selector.js @@ -132,7 +132,7 @@ function update() { package = package.split(' ')[0]; source_install = true; } - txt += "http://deb.torproject.org/torproject.org"; + txt += "https://deb.torproject.org/torproject.org"; txt += " "; txt += keys[i]; txt += " main"; @@ -140,7 +140,7 @@ function update() { target = keys[i]; txt = "deb " + txt + "\ndeb-src " + txt; if (version != 'stable') { - txt2 = "http://deb.torproject.org/torproject.org"; + txt2 = "https://deb.torproject.org/torproject.org"; txt2 += " "; txt2 += package; txt2 += "-"; diff --git a/docs/en/debian.wml b/docs/en/debian.wml index 1fe14dfa..6f86bd28 100644 --- a/docs/en/debian.wml +++ b/docs/en/debian.wml @@ -89,7 +89,7 @@ version <div id="apt-source"> <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>
-<blockquote><pre id="sources">deb https://deb.torproject.org/torproject.org stretch main +<blockquote><pre id="sources">deb https://deb.torproject.org/torproject.org jessie main </pre></blockquote> </div>