Skip to content

Instantly share code, notes, and snippets.

@td72

td72/open_arxiv_html.js

Created January 25, 2022 05:15
Show Gist options
  • Save td72/9dcc175d2ea490228b7b7787dda842a1 to your computer and use it in GitHub Desktop.
Save td72/9dcc175d2ea490228b7b7787dda842a1 to your computer and use it in GitHub Desktop.
Download ZIP
arxivのページからarxiv-vanityを並べて翻訳パネルを出すコマンドチェイン
Raw
open_arxiv_html.js
javascript:window.open(`https://www.arxiv-vanity.com/papers/${location.pathname.split('/').pop().replace('.pdf', '')}`);if(history.replaceState){history.replaceState({},null,location.href);};
@td72
Copy link
Author

td72 commented Jan 25, 2022

2022-01-25_14 17 40-x1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment