This automatically redirects Reddit links to their archived versions
Lemmy.World Announcements
This Community is intended for posts about the Lemmy.world server by the admins.
Follow us for server news ๐
Outages ๐ฅ
https://status.lemmy.world
For support with issues at Lemmy.world, go to the Lemmy.world Support community.
Support e-mail
Any support requests are best sent to info@lemmy.world e-mail.
Report contact
- DM https://lemmy.world/u/lwreport
- Email report@lemmy.world (PGP Supported)
Donations ๐
If you would like to make a donation to support the cost of running this platform, please do so at the following donation URLs.
If you can, please use / switch to Ko-Fi, it has the lowest fees for us
Join the team
There's also this, one for Firefox, but if you use Firefox on Android, you'll need to get Firefox Nightly (Google Play)
Or this if you use F-droid.
It's based on Firefox and allows you to install addons without using the Nightly version
Does that work with Mull?
Yes. Just like with Fennec F-Droid and Firefox Nightly, you can install any extension by following these steps: https://www.ghacks.net/2020/10/01/you-can-now-install-any-add-on-in-firefox-nightly-for-android-but-it-is-complicated/
// ==UserScript==
// @name archive.org link
// @include *://*.google*/search*
// @include *://*
// @exclude *://*.archive.org*
// @exclude *://archive.org*
// @grant none
// @version 1.0
// @author memchr
// @description 6/15/2023, 6:57:32 AM
// ==/UserScript==
function get_archive_href(href) {
return "https://web.archive.org/web/" + href.replace(/^https?:\/\/www\.reddit\.com/, "https://old.reddit.com")
}
if (window.location.hostname.match(/^(\w*\.)?google.*$/)) { // google
const results = document.querySelectorAll('div.yuRUbf > a');
results.forEach(e => {
let href = e.getAttribute('href');
href = get_archive_href(href);
let archive_link = document.createElement('a');
archive_link.href = href;
archive_link.textContent = "archive";
archive_link.style.marginLeft = "10px";
e.insertAdjacentElement("afterend", archive_link);
})
} else if (!window.location.hostname.match(/(localhost$|^(127|192|10)\.)/)) {
const href = get_archive_href(location.href);
document.addEventListener('keydown', function(event) {
if (event.ctrlKey && event.altKey && event.key === 'a') {
window.location.href = href;
}
});
}
press shift
+ctrl
+A
or click on archive
if you use google.