4 ms·
I usually make a userscript for these sites, which add it automatically. Its a one-liner for simple link insertion. https://github.com/FrozenVoid/Userscripts/b
by FrozenVoid 5y ago
I usually make a userscript
for these sites, which add it
automatically. Its a one-liner for
simple link insertion.
https://github.com/FrozenVoid/Userscripts/blob/main/Arxiv/Arxiv_html.user.js https://github.com/FrozenVoid/Userscripts/blob/main/Arxiv/Ar...
- kazinator 5y agoThe Redirector add-on for Firefox provides pattern-based (regex and glob) URL redirection on the browser side. You can just add rules to its configuration rather than new userscripts. I used in the past to locally correct for broken links within intranet/CI pages. E.g. something correctably wrong with a gerrit link, or whatever.