1
0
Fork 0
mirror of https://github.com/SinTan1729/random.git synced 2024-12-26 21:18:36 -06:00

change: Moved the userscripts to a different repo

This commit is contained in:
Sayantan Santra 2023-05-30 00:08:38 -05:00
parent b528e2abdf
commit 3022a5b273
Signed by: SinTan1729
GPG key ID: EB3E68BFBA25C85F
4 changed files with 1 additions and 40 deletions

View file

@ -1,4 +1,4 @@
![Number of scripts](https://img.shields.io/badge/number_of_scripts-37-blue) ![Number of scripts](https://img.shields.io/badge/number_of_scripts-34-blue)
# Random Scripts # Random Scripts
This repository is for random scripts I wrote mostly for personal use. This repository is for random scripts I wrote mostly for personal use.

View file

@ -1,10 +0,0 @@
// ==UserScript==
// @name Facebook Switch to Desktop
// @namespace Facebook
// @match *://m.facebook.com/*
// @grant none
// @version 1.2
// @author SinTan
// @description 6/21/2020, 10:24:02 PM
// ==/UserScript==
window.location.href = window.location.href.replace("://m.", "://www.")

View file

@ -1,10 +0,0 @@
// ==UserScript==
// @name Firefox local auto-redirection fix
// @namespace Local
// @description A script for fixing the auto-redirection defined in local files in firefox
// @match file:///*
// @grant none
// @author SinTan
// @version 1.1
// ==/UserScript==
window.location.href=document.getElementsByTagName("a")[0].href

View file

@ -1,19 +0,0 @@
// ==UserScript==
// @name Manjaro Forum auto-redirect to old site for missing pages
// @namespace Manjaro Linux Forum
// @match https://forum.manjaro.org/t/*
// @grant none
// @version 1.1
// @author SinTan
// @description 9/4/2020, 1:36:13 PM
// ==/UserScript==
not_found = document.getElementsByClassName("page-not-found")
if (not_found) {
error_msg = not_found[0].getElementsByClassName("title")[0].innerHTML
if (error_msg == "Oops! That page doesnt exist or is private.") {
redir_notif = document.createElement("h3")
redir_notif.innerHTML = "(Redirecting to old forum...)"
not_found[0].appendChild(redir_notif)
window.location.href = window.location.href.replace("://forum.", "://archived.forum.")
}
}