⚠️Redirection forwards cookies with the setting option "Redirect cookies" enabled, so use the options with care.
"Url redirection" redirects the main/page url only while "Resource redirection" is for all urls in the page.
Global redirection is enabled with the setting option "Resource redirection" or both "Url redirection" and "Redirect cookies".
When a valid global redirection url is set, the "default.redirect" has no effect, and any url resource is fetched with the new url by appending the original url to the global redirection url.
If the global redirection url ends with '/', then the resource is fetched with by the url "[global redirection url] + [url]". For example, "https://domain.com/pathXXX/https://cnn.com".
(to provide more options to users) If the global redirection url does not end with '/', it means the global redirection url is naked. then the resource is fetched with by the url "[global redirection url] + '/'+ [url without scheme]". For example, when the global redirection url is "https://domain.com/pathXXX", the real url to visit "https://cnn.com" is "https://domain.com/pathXXX/cnn.com".
Click the following links to append mirrors to the file "default.redirect":
google recaptcha mirror
Each line of the file "default.redirect" has the following format:
[domain name]:[regular expression]:[replacement expression]
in which "[regular expression]" is as defined by java language, and cannot have ":" inside; if empty, it defaults to be same as "[domain name]".
Last Modified: 17 June 2023