add resource redirection

This commit is contained in:
James Feng Cao 2022-09-13 16:13:02 +08:00
parent 765740a73f
commit ad12551ed7
13 changed files with 231 additions and 3 deletions

View file

@ -110,6 +110,22 @@ Toggle all checkboxes in forms
Enable selection</description>
</item>
<item>
<title>Resource redirection</title>
<link>/en/redirect/</link>
<pubDate>Mon, 25 Apr 2022 00:00:00 +0000</pubDate>
<guid>/en/redirect/</guid>
<description>Click the following links to append mirrors to the file &amp;quot;default.redirect&amp;quot;:
github mirror:fastgit
github mirror 2
google recaptcha mirror
Each line of the file &amp;quot;default.redirect&amp;quot; has the following format:
[domain name]:[regular expression]:[replacement expression]
in which &amp;quot;[regular expression]&amp;quot; is as defined by java language, and cannot have &amp;quot;:&amp;quot; inside; if empty, it defaults to be same as &amp;quot;[domain name]&amp;quot;.
Ways to enable redirection: Long the image button。 Long pressing the setting button, enable the option &amp;quot;url redirection&amp;quot;.</description>
</item>
<item>
<title>Text selection</title>
<link>/en/pccopy/</link>