From 4bc78e2c968aa5efb40287a34e1d24d3642cf475 Mon Sep 17 00:00:00 2001
From: andis <andis@fet.at>
Date: Mon, 28 Dec 2020 19:04:07 +0000
Subject: [PATCH] add nginx for theia dev

---
 deployment/nginx.conf | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/deployment/nginx.conf b/deployment/nginx.conf
index 11673ccb..e2befeef 100644
--- a/deployment/nginx.conf
+++ b/deployment/nginx.conf
@@ -34,6 +34,15 @@ server {
 	proxy_buffering off;
     }
     
+    location /dev {
+    	rewrite /dev/(.*) /$1 break;
+	rewrite ^/dev$ /dev/ permanent;
+	proxy_pass http://theia:3000;
+	#proxy_redirect / /etherpad/;
+	proxy_set_header Host $host;
+	proxy_buffering off;
+    }
+    
     location / {
     	include uwsgi_params;
         uwsgi_pass unix:///tmp/uwsgi.sock;