Add redirect from RTD domain

gmelikov · gmelikov · commit a4f734d4ecc4 · 2025-11-29T21:10:30.000+03:00
Signed-off-by: George Melikov &lt;mail@gmelikov.ru&gt;
diff --git a/docs/_static/js/redirect.js b/docs/_static/js/redirect.js
@@ -0,0 +1,3 @@
+if (location.host == 'openzfs.readthedocs.io') {
+    window.location.replace("https://openzfs.github.io");
+}
diff --git a/docs/conf.py b/docs/conf.py
@@ -129,6 +129,10 @@ def setup(app):
     'github_version': 'master/docs/'
      }
 
+html_js_files = [
+    'js/redirect.js',
+]
+
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
 #

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+if (location.host == 'openzfs.readthedocs.io') {`
	`2`	`+ window.location.replace("https://openzfs.github.io");`
	`3`	`+}`
Original file line number	Diff line number	Diff line change
`@@ -129,6 +129,10 @@ def setup(app):`
`129`	`129`	`'github_version': 'master/docs/'`
`130`	`130`	`}`
`131`	`131`
	`132`	`+html_js_files = [`
	`133`	`+ 'js/redirect.js',`
	`134`	`+]`
	`135`	`+`
`132`	`136`	`# Custom sidebar templates, must be a dictionary that maps document names`
`133`	`137`	`# to template names.`
`134`	`138`	`#`