Merge pull request #54 from Progmasoft/ops/tazel-redirect

Redirect tazel.tala.run to tazel.net for good

1 files changed, 14 insertions, 44 deletions

diff --git a/ops/nginx/tala.conf b/ops/nginx/tala.conf
index 3b0cadd..2b75fdd 100644
--- a/ops/nginx/tala.conf
+++ b/ops/nginx/tala.conf
@@ -1,11 +1,12 @@
 # SPDX-FileCopyrightText: 2026 Progmasoft <support@progmasoft.com>
 # SPDX-License-Identifier: AGPL-3.0-or-later WITH AdditionRef-Progmasoft-Patent-Grant-1.1
 
-# One frontend build serves five sites: tala.run for the language,
-# talac.tala.run for the compiler, tazel.tala.run for the build system,
-# talafmt.tala.run for the formatter and talalint.tala.run for the linter.
-# The page picks its content from the host name. xsharp-lang.xyz, the former
-# domain, answers with a permanent redirect to the same path on tala.run.
+# One frontend build serves four sites: tala.run for the language,
+# talac.tala.run for the compiler, talafmt.tala.run for the formatter and
+# talalint.tala.run for the linter. The page picks its content from the host
+# name. xsharp-lang.xyz, the former domain, answers with a permanent redirect to
+# the same path on tala.run. tazel.tala.run, where the build system was
+# documented, answers with a permanent redirect to tazel.net, its own site.
 
 server {
     listen 80 default_server;
@@ -116,7 +117,7 @@ server {
     }
 }
 
-# talac.tala.run, tazel.tala.run, talafmt.tala.run and talalint.tala.run serve
+# talac.tala.run, talafmt.tala.run and talalint.tala.run serve
 # the same build; each answers for robots.txt and sitemap.xml with its own file.
 server {
     listen 443 ssl;
@@ -303,9 +304,6 @@ server {
     listen [::]:443 ssl;
     http2 on;
     server_name tazel.tala.run;
-
-    root /srv/xsharp/website/current/frontend;
-    index index.html;
     server_tokens off;
 
     ssl_certificate /etc/letsencrypt/live/tala.run/fullchain.pem;
@@ -313,48 +311,20 @@ server {
     include /etc/letsencrypt/options-ssl-nginx.conf;
     ssl_dhparam /etc/letsencrypt/ssl-dhparams.pem;
 
-    add_header Content-Security-Policy "default-src 'self'; img-src 'self' data:; base-uri 'self'; form-action 'self'; frame-ancestors 'none'; object-src 'none'" always;
-    add_header Referrer-Policy "strict-origin-when-cross-origin" always;
     add_header Strict-Transport-Security "max-age=63072000; includeSubDomains; preload" always;
-    add_header X-Content-Type-Options "nosniff" always;
-    add_header X-Frame-Options "DENY" always;
-
-    location = /robots.txt {
-        try_files /hosts/tazel/robots.txt =404;
-    }
 
-    location = /sitemap.xml {
-        try_files /hosts/tazel/sitemap.xml =404;
+    # The two pages of the old site have their own pages on tazel.net; any
+    # other page of its docs goes to the docs, everything else to the same path.
+    location ~ "^/docs/(commands|project-file)/?$" {
+        return 308 https://tazel.net/docs/reference/$1$is_args$args;
     }
 
-    location ^~ /hosts/ {
-        return 404;
-    }
-
-    location ^~ /api/ {
-        return 404;
+    location /docs/ {
+        return 308 https://tazel.net/docs;
     }
 
     location / {
-        try_files $uri $uri/ @application;
-    }
-
-    # The application has two kinds of routes: the landing page and
-    # /docs/<page>. Any other path that is not a file is answered with 404, so
-    # that unknown addresses, including the probes for /wp-login.php and
-    # friends, are not served as pages. The body of the 404 is still the
-    # application, whose router takes a visitor to the landing page.
-    location @application {
-        if ($uri !~ "^/(docs/[a-z0-9-]+/?)?$") {
-            return 404;
-        }
-        rewrite ^ /index.html break;
-    }
-
-    error_page 404 /index.html;
-
-    location ~ /\. {
-        deny all;
+        return 308 https://tazel.net$request_uri;
     }
 }