Set CTAN Mirror

Set to use a fixed mirror when browsing CTAN files.

이 스크립트를 설치하려면 Tampermonkey, Greasemonkey 또는 Violentmonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey와 같은 확장 프로그램을 설치해야 합니다.

이 스크립트를 설치하려면 Tampermonkey 또는 Violentmonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey 또는 Userscripts와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 유저 스크립트 관리자 확장 프로그램이 필요합니다.

(이미 유저 스크립트 관리자가 설치되어 있습니다. 설치를 진행합니다!)

Advertisement:

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

(이미 유저 스타일 관리자가 설치되어 있습니다. 설치를 진행합니다!)

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))
    })
})();