sup leftypol. so i have this simple script in Greasemonkey that i use for redirection. . [code]. // @run-at document-start. . switch(location.hostname) {. case "www.example.com":. location.hostname = "www.example.mirror".

Posting mode: Reply [Return]
NameR^.pAmi⚫F>rCU ,♉I('n<%1PWf⚒Xlh?☔y8{gc
Options
Subject	Spoiler Image
Comment
Flag
File
Embed
Password	(For file deletion.)

File: 1678558606525.jpg (9.77 KB, 250x187, 1459715943447s.jpg)

Anonymous 2023-03-11 (Sat) 18:16:46 No.18755

sup leftypol. so i have this simple script in Greasemonkey that i use for redirection

// @run-at   document-start

switch(location.hostname) {
case "www.example.com":
  	location.hostname = "www.example.mirror"
 break;

now sometimes i can't connect to example.com and get hit with a "The connection has timed out" page. now the problem is GM doesn't work in such pages. is there anything i can do? doesn't need to be js specific, i don't mind changing stuff in /host. i use firefox btw

Anonymous 2023-03-11 (Sat) 18:34:50 No.18756

https://github.com/einaregilsson/Redirector

Anonymous 2023-03-11 (Sat) 18:45:47 No.18757

>>18756
Sure OP could just use a dedicated plugin, but there's something neat about doing with a user script, and I imagine it takes less memory.

Anonymous 2023-03-11 (Sat) 18:57:00 No.18758

>>18757
and if OPs savvy enough, they can code dive and see how the plugin handles redirection

Anonymous 2023-03-11 (Sat) 19:23:37 No.18759

>>18756
hi, it works fine but for some reason it takes a lot of time to redirect especially if the url is long. not really important for me but it's kinda bloated
>>18758
nope :(

Anonymous 2023-03-11 (Sat) 19:25:31 No.18760

>>18755
billions must mayonaise

Anonymous 2023-03-11 (Sat) 19:56:20 No.18761

Instead of a redirect in some cases why not text replace the URL in links before it even takes you anywhere? Then you won't have to be redirected.

Anonymous 2023-03-11 (Sat) 20:08:34 No.18762

>>18761
sometimes I open a lotta links and it's annoying to edit 20 urls plus my internet is slow and I don't want to wait for things to reload again

Anonymous 2023-03-11 (Sat) 20:12:29 No.18763

>>18761
and you can't always directly edit them, you have to copy them(which is sometimes challenging eg google images) and open them in another tab

Anonymous 2023-03-11 (Sat) 20:13:25 No.18764

>>18755
might be a limitation of userscripts to only load if a page is valid. you might want to look at making a small extension and use the browser api to update the tab url
https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/API/tabs/update#examples

Anonymous 2023-03-11 (Sat) 20:18:20 No.18765

>>18764
hmmm will check it tomorrow

Unique IPs: 6