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;