From b945205ea4e2c46ef3700ab2074a3c3de979b1cf Mon Sep 17 00:00:00 2001
From: amandilaras <amandilaras@cite.gr>
Date: Fri, 21 Jun 2024 14:10:10 +0300
Subject: [PATCH] add Dockerfile for docs deployment

---
 docs/Dockerfile     |  0
 docs/nginx.conf     | 35 +++++++++++++++++++++++++++++++++++
 docs/start_nginx.sh |  8 ++++++++
 3 files changed, 43 insertions(+)
 create mode 100644 docs/Dockerfile
 create mode 100644 docs/nginx.conf
 create mode 100644 docs/start_nginx.sh

diff --git a/docs/Dockerfile b/docs/Dockerfile
new file mode 100644
index 000000000..e69de29bb
diff --git a/docs/nginx.conf b/docs/nginx.conf
new file mode 100644
index 000000000..7b29b4cb8
--- /dev/null
+++ b/docs/nginx.conf
@@ -0,0 +1,35 @@
+
+events {
+  worker_connections  4096;  ## Default: 1024
+}
+
+http {
+	include    ./mime.types;
+	server {
+
+	listen 4200;
+
+	sendfile on;
+
+	gzip on;
+	gzip_http_version 1.1;
+	gzip_disable      "MSIE [1-6]\.";
+	gzip_min_length   1100;
+	gzip_vary         on;
+	gzip_proxied      expired no-cache no-store private auth;
+	gzip_types        text/plain text/css application/json application/javascript application/x-javascript text/xml application/xml application/xml+rss text/javascript;
+	gzip_comp_level   9;
+
+
+
+
+
+	location / {
+		root /usr/share/nginx/html;
+		try_files $uri $uri/ /index.html =404;
+		add_header Cache-Control "no-store, no-cache, must-revalidate";
+	}
+
+	}
+
+}
diff --git a/docs/start_nginx.sh b/docs/start_nginx.sh
new file mode 100644
index 000000000..615c88c59
--- /dev/null
+++ b/docs/start_nginx.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+if [[ ! -z "${WEBAPP_BASE_URL}" ]]; then
+	rm /usr/share/nginx/html/index.html 
+	cp /usr/share/nginx/html/index_base.html /usr/share/nginx/html/index.html 
+	find '/usr/share/nginx/html' -name 'index.html' -exec sed -i -e 's,<base href="/">,<base href="'"$WEBAPP_BASE_URL"'">,g' {} \; 
+fi
+
+nginx -g "daemon off;"
\ No newline at end of file