Set CTAN Mirror

Set to use a fixed mirror when browsing CTAN files.

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

You will need to install an extension such as Tampermonkey to install this script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Advertisement:

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

Advertisement:

// ==UserScript==
// @name         Set CTAN Mirror
// @name:zh      设置 CTAN 默认镜像
// @name:zh-CN   设置 CTAN 默认镜像
// @namespace    https://github.com/rnicrosoft-studio/
// @version      0.3
// @description  Set to use a fixed mirror when browsing CTAN files.
// @description:zh  设置浏览 CTAN 文件时使用一个固定的镜像。
// @description:zh-CN   设置浏览 CTAN 文件时使用一个固定的镜像。
// @author       rnicrosoft
// @supportURL   https://github.com/rnicrosoft-studio/tampermonkey-scripts
// @match        *://www.ctan.org/*
// @match        *://ctan.org/*
// @icon         https://www.ctan.org/assets/favicon/favicon-32x32.png
// @run-at       document-end
// @grant        GM_setValue
// @grant        GM_getValue
// @grant        GM_xmlhttpRequest
// ==/UserScript==

(function() {
    'use strict';

    // First, set the endpoint of your preferred mirror host here.
    // Check <https://ctan.org/mirrors/mirmon> for the latest active CTAN mirrors list.
    var mirrorEndpoint = 'mirrors.sjtug.sjtu.edu.cn/ctan';

    document.querySelectorAll('a[href^="http://mirrors.ctan.org"], a[href^="https://mirrors.ctan.org"]').forEach(function(item) {
        //console.log(item.getAttribute('href'))
        item.setAttribute('href',
                          item.getAttribute('href').replace('mirrors.ctan.org', mirrorEndpoint))
    })
})();