☰

GotoArXivMirrors

Open arXiv sites with arXiv mirrors

  1. // ==UserScript==
  2. // @name         GotoArXivMirrors
  3. // @namespace    https://github.com/zzilch/GotoArXivMirrors
  4. // @homepage     https://github.com/zzilch/GotoArXivMirrors
  5. // @version      1.1
  6. // @author       zzilch
  7. // @description  Open arXiv sites with arXiv mirrors
  8. // @include      /^https?://(.*\.)?arxiv\.org/.*/
  9. // @include      http://xxx.itp.ac.cn/*
  10. // @run-at       document-start
  11. // @grant        GM_registerMenuCommand
  12. // ==/UserScript==
  13.  
  14. (function() {
  15.     'use strict';
  16.     // useful funcitons
  17.     function incompletePDF(url){ return url.includes('/pdf') && !url.endsWith('pdf') }
  18.     function abstractURL(url){ return url.includes('/abs') }
  19.     
  20.     // available mirrors
  21.     let mirrors = {
  22.         'Main':'arxiv.org',
  23.         'China':'xxx.itp.ac.cn',
  24.         'Germany':'de.arxiv.org',
  25.         'India':'in.arxiv.org',
  26.     }
  27.     
  28.     // Tampermonkey menu items
  29.     for(let mirror in mirrors){
  30.         let url = location.href.replace(location.hostname,mirrors[mirror]).replace('https','http')
  31.         url = incompletePDF(url) ? url+'.pdf' : url
  32.         console.log(mirror+':'+url)
  33.         GM_registerMenuCommand(mirror,()=>location.replace(url));
  34.     }
  35.     
  36.     // append the filename extension for downloading
  37.     if(incompletePDF(location.href)) { history.pushState(null,"",location.href+'.pdf') }
  38.     
  39.     // complete pdf url with filename extension after the document is loaded
  40.     onload = function(){
  41.         if(abstractURL(location.href))
  42.         { document.querySelector("#abs > div.extra-services > div.full-text > ul > li:nth-child(1) > a").href += '.pdf' }
  43.     }
  44. })();