Resource redirection

• redirection

Global redirection

Global redirection is enabled with the setting option "Resource redirection".

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.

"default.redirect" (valid only without global redirection url)

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]".

Ways to enable domain redirection:

• Long pressing the image button。
• Long pressing the setting button, enable the option "url redirection".
• Long pressing the setting button, enable the option "Resource redirection".