From e35f094c97b24615964c739813345493ab715f0b Mon Sep 17 00:00:00 2001 From: James Feng Cao Date: Wed, 12 Apr 2023 08:07:52 +0800 Subject: [PATCH] add global redirect url support --- en/_posts/index.xml | 31 ++++++------ en/changelog/index.html | 8 ++-- en/index.html | 12 ++--- en/index.xml | 39 ++++++++------- en/redirect/index.html | 16 ++++--- en/searchurl/config.js | 2 +- en/sitemap.xml | 90 +++++++++++++++++------------------ en/tags/index.xml | 20 ++++---- en/tags/redirection/index.xml | 15 +++--- en/topposts/index.xml | 8 ++-- sitemap.xml | 2 +- 11 files changed, 120 insertions(+), 123 deletions(-) diff --git a/en/_posts/index.xml b/en/_posts/index.xml index 95f3238..46d1025 100644 --- a/en/_posts/index.xml +++ b/en/_posts/index.xml @@ -5,7 +5,20 @@ /en/_posts/ Recent content in _posts on uweb browser: unlimited power Hugo -- gohugo.io - Sat, 01 Apr 2023 00:00:00 +0000 + Tue, 11 Apr 2023 00:00:00 +0000 + + Resource redirection + /en/redirect/ + Tue, 11 Apr 2023 00:00:00 +0000 + + /en/redirect/ + 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. + + Offline resources /en/offlinecache/ @@ -194,22 +207,6 @@ Toggle all checkboxes in forms Enable selection - - Resource redirection - /en/redirect/ - Mon, 25 Apr 2022 00:00:00 +0000 - - /en/redirect/ - Click the following links to append mirrors to the file "default.redirect": -github mirror:fastgit -github mirror 2 -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 redirection: Long the image button。 Long pressing the setting button, enable the option "url redirection". - - Text selection /en/pccopy/ diff --git a/en/changelog/index.html b/en/changelog/index.html index 1939a7a..14616e9 100644 --- a/en/changelog/index.html +++ b/en/changelog/index.html @@ -51,8 +51,8 @@

pagure

Main features

Change logs

-

988: hosts file to support response headers.
-987: enhance hosts file to support domain attributes, such as lifting limitations with empty ip address.
+

991: global url redirection support.
+988: hosts file to support response headers.
985: Special urls to support shortcut keys such as ctrl-a to ctrl-z.
983: support "hosts" file domain name resolving (no root needed), only single space allowed as separator for ip address and domain name.
975: Bookmarks to support styling for markdown etc.
@@ -78,8 +78,8 @@ -

Last Modified: 3 April 2023
-bingAI to support cors with cookies
+

Last Modified: 12 April 2023
+global redirection support in config.js


 

 
diff --git a/en/index.html b/en/index.html
index 59dd1d4..70e4e9c 100644
--- a/en/index.html
+++ b/en/index.html
@@ -95,6 +95,12 @@
   
 
   
+  
  • 
+    
+      Resource redirection
+    
+  
    • 
+  
   
  • 
     
       Offline resources
@@ -167,12 +173,6 @@
     
   
    • 
   
-  
  • 
-    
-      Resource redirection
-    
-  
    • 
-  
   
  • 
     
       Text selection
diff --git a/en/index.xml b/en/index.xml
index 00956e6..88f5560 100644
--- a/en/index.xml
+++ b/en/index.xml
@@ -5,7 +5,20 @@
     /en/
     Recent content on uweb browser: unlimited power
     Hugo -- gohugo.io
-    Sat, 01 Apr 2023 00:00:00 +0000
+    Tue, 11 Apr 2023 00:00:00 +0000
+    
+      Resource redirection
+      /en/redirect/
+      Tue, 11 Apr 2023 00:00:00 +0000
+      
+      /en/redirect/
+      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.
+    
+    
     
       Offline resources
       /en/offlinecache/
@@ -196,10 +209,12 @@ github
 sourceforge
 powerfolder
 pagure
-Main features Change logs 988: hosts file to support response headers.
-987: enhance hosts file to support domain attributes, such as lifting limitations with empty ip address.
+Main features Change logs 991: global url redirection support.
+988: hosts file to support response headers.
 985: Special urls to support shortcut keys such as ctrl-a to ctrl-z.
-983: support "hosts" file domain name resolving (no root needed), only single space allowed as separator for ip address and domain name.
+983: support "hosts" file domain name resolving (no root needed), only single space allowed as separator for ip address and domain name.
+975: Bookmarks to support styling for markdown etc.
+971: multiple type profiles: switch any data including website logins, user configurations orthogonally.
     
     
     
@@ -334,22 +349,6 @@ Performance
 Remote javascript is defined in default.rjs. Click the following link to install. (Force exit and re-launch the app, then long press the "search" button to popup the menu.
     
     
-    
-      Resource redirection
-      /en/redirect/
-      Mon, 25 Apr 2022 00:00:00 +0000
-      
-      /en/redirect/
-      Click the following links to append mirrors to the file "default.redirect":
-github mirror:fastgit
-github mirror 2
-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 redirection: Long the image button。 Long pressing the setting button, enable the option "url redirection".
-    
-    
     
       Text selection
       /en/pccopy/
diff --git a/en/redirect/index.html b/en/redirect/index.html
index 9d1cae8..86f6ee9 100644
--- a/en/redirect/index.html
+++ b/en/redirect/index.html
@@ -49,14 +49,16 @@
     
  • redirection 
    • 
     
   
-  
    Click the following links to append mirrors to the file "default.redirect":
    
-github mirror:fastgit
    
-github mirror 2
    
-
    google recaptcha mirror
    
+  
    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 redirection:
    
+
    Ways to enable domain redirection:
    
 
      
 
    • Long the image button。
      • 
 
    • Long pressing the setting button, enable the option "url redirection".
      • 
@@ -64,8 +66,8 @@
 
    
 
 
-
    Last Modified: 20 February 2023
    
-use relative path
    
+
    Last Modified: 12 April 2023
    
+global redirection support in config.js
    
 
    
 
    
 
diff --git a/en/searchurl/config.js b/en/searchurl/config.js
index 5d77c2a..06e107c 100644
--- a/en/searchurl/config.js
+++ b/en/searchurl/config.js
@@ -1,4 +1,4 @@
-let labels = ["Redirect url","Default font","Cursive","Fantasy","Fixed","Sans-Serif","Serif"];
+let labels = ["Global redirect url","Default font","Cursive","Fantasy","Fixed","Sans-Serif","Serif"];
 let names = ["redirecturl","font","cursive","fantasy","fixed","sansserif","serif"];
 
 let d=document;
diff --git a/en/sitemap.xml b/en/sitemap.xml
index c00cc8c..5a44ad1 100644
--- a/en/sitemap.xml
+++ b/en/sitemap.xml
@@ -3,7 +3,7 @@
   xmlns:xhtml="http://www.w3.org/1999/xhtml">
   
     /en/_posts/
-    2023-04-10T08:20:10+08:00
+    2023-04-12T08:05:59+08:00
     
+  
+    /en/tags/redirection/
+    2023-04-12T08:05:59+08:00
+  
+    /en/redirect/
+    2023-04-12T08:05:59+08:00
+    
+    
+  
+    /en/tags/
+    2023-04-12T08:05:59+08:00
+    
+    
+  
+    /en/
+    2023-04-12T08:05:59+08:00
+    
+    
   
     /en/offlinecache/
     2023-04-01T21:06:06+08:00
@@ -27,19 +69,6 @@
                 hreflang="en"
                 href="/en/offlinecache/"
                 />
-  
-    /en/
-    2023-04-10T08:20:10+08:00
-    
-    
   
     /en/links/
     2023-04-10T08:20:10+08:00
@@ -69,19 +98,6 @@
                 hreflang="en"
                 href="/en/adblock_domain/"
                 />
-  
-    /en/tags/
-    2023-04-08T17:53:21+08:00
-    
-    
   
     /en/search/
     2023-03-20T22:39:44+08:00
@@ -97,7 +113,7 @@
                 />
   
     /en/topposts/
-    2023-04-03T17:49:38+08:00
+    2023-04-12T07:51:47+08:00
     
   
     /en/changelog/
-    2023-04-03T17:49:38+08:00
+    2023-04-12T07:51:47+08:00
   
     /en/sitemap/
     2023-02-01T09:52:11+08:00
@@ -286,22 +302,6 @@
                 hreflang="en"
                 href="/en/rjs/"
                 />
-  
-    /en/tags/redirection/
-    2023-02-20T21:49:51+08:00
-  
-    /en/redirect/
-    2023-02-20T21:49:51+08:00
-    
-    
   
     /en/tags/clipboard/
     2023-02-20T21:46:50+08:00
diff --git a/en/tags/index.xml b/en/tags/index.xml
index 873939f..2269792 100644
--- a/en/tags/index.xml
+++ b/en/tags/index.xml
@@ -5,7 +5,16 @@
     /en/tags/
     Recent content in Tags on uweb browser: unlimited power
     Hugo -- gohugo.io
-    Mon, 20 Mar 2023 00:00:00 +0000
+    Tue, 11 Apr 2023 00:00:00 +0000
+    
+      redirection
+      /en/tags/redirection/
+      Tue, 11 Apr 2023 00:00:00 +0000
+      
+      /en/tags/redirection/
+      
+    
+    
     
       adblock
       /en/tags/adblock/
@@ -33,15 +42,6 @@
       
     
     
-    
-      redirection
-      /en/tags/redirection/
-      Mon, 25 Apr 2022 00:00:00 +0000
-      
-      /en/tags/redirection/
-      
-    
-    
     
       clipboard
       /en/tags/clipboard/
diff --git a/en/tags/redirection/index.xml b/en/tags/redirection/index.xml
index 1da1190..d332d20 100644
--- a/en/tags/redirection/index.xml
+++ b/en/tags/redirection/index.xml
@@ -5,21 +5,18 @@
     /en/tags/redirection/
     Recent content in redirection on uweb browser: unlimited power
     Hugo -- gohugo.io
-    Mon, 25 Apr 2022 00:00:00 +0000
+    Tue, 11 Apr 2023 00:00:00 +0000
     
       Resource redirection
       /en/redirect/
-      Mon, 25 Apr 2022 00:00:00 +0000
+      Tue, 11 Apr 2023 00:00:00 +0000
       
       /en/redirect/
-      Click the following links to append mirrors to the file "default.redirect":
-github mirror:fastgit
-github mirror 2
+      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 redirection: Long the image button。 Long pressing the setting button, enable the option "url redirection".
+Each line of the file "default.
     
     
   
diff --git a/en/topposts/index.xml b/en/topposts/index.xml
index 0394192..047b119 100644
--- a/en/topposts/index.xml
+++ b/en/topposts/index.xml
@@ -64,10 +64,12 @@ github
 sourceforge
 powerfolder
 pagure
-Main features Change logs 988: hosts file to support response headers.
-987: enhance hosts file to support domain attributes, such as lifting limitations with empty ip address.
+Main features Change logs 991: global url redirection support.
+988: hosts file to support response headers.
 985: Special urls to support shortcut keys such as ctrl-a to ctrl-z.
-983: support "hosts" file domain name resolving (no root needed), only single space allowed as separator for ip address and domain name.
+983: support "hosts" file domain name resolving (no root needed), only single space allowed as separator for ip address and domain name.
+975: Bookmarks to support styling for markdown etc.
+971: multiple type profiles: switch any data including website logins, user configurations orthogonally.
     
     
     
diff --git a/sitemap.xml b/sitemap.xml
index eaa367c..0104e67 100644
--- a/sitemap.xml
+++ b/sitemap.xml
@@ -4,7 +4,7 @@
   
     en/sitemap.xml
     
-      2023-04-10T08:20:10+08:00
+      2023-04-12T08:05:59+08:00