From 04d2752480f66908f3f5028b441a9528b30a3cf0 Mon Sep 17 00:00:00 2001
From: Christopher Guindon <chris.guindon@eclipse-foundation.org>
Date: Tue, 10 Oct 2023 13:58:44 +0000
Subject: [PATCH] Update default.conf
---
config/nginx/default.conf | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/config/nginx/default.conf b/config/nginx/default.conf
index 186fdcbf..a4018957 100644
--- a/config/nginx/default.conf
+++ b/config/nginx/default.conf
@@ -45,6 +45,11 @@ server {
error_page 404 /404.html;
location / {
+ # Configure redirect for /resources but omit /resources/marketplace
+ if ($request_uri ~ ^/resources/(?!marketplace)(.*)$) {
+ return 301 https://wiki.eclipse.org/Eclipse_Articles,_Tutorials,_Demos,_Books,_and_More;
+ }
+
# www.eclipse.org/home
# https://git.eclipse.org/c/www.eclipse.org/home.git/tree/
rewrite /home/search.php /home/search redirect;
--
GitLab