redoc/config/docker/docker-run.sh

#!/bin/sh

set -e

sed -i -e "s|%PAGE_TITLE%|$PAGE_TITLE|g" /usr/share/nginx/html/index.html
sed -i -e "s|%PAGE_FAVICON%|$PAGE_FAVICON|g" /usr/share/nginx/html/index.html
sed -i -e "s|%SPEC_URL%|$SPEC_URL|g" /usr/share/nginx/html/index.html
sed -i -e "s|%REDOC_OPTIONS%|${REDOC_OPTIONS}|g" /usr/share/nginx/html/index.html
sed -i -e "s|\(listen\s*\) [0-9]*|\1 ${PORT}|g" /etc/nginx/nginx.conf

exec nginx -g 'daemon off;'
chore: Add Dockerfile for easier deployment (#427) 2018-06-25 14:10:29 +03:00			`#!/bin/sh`

			`set -e`

			`sed -i -e "s\|%PAGE_TITLE%\|$PAGE_TITLE\|g" /usr/share/nginx/html/index.html`
			`sed -i -e "s\|%PAGE_FAVICON%\|$PAGE_FAVICON\|g" /usr/share/nginx/html/index.html`
			`sed -i -e "s\|%SPEC_URL%\|$SPEC_URL\|g" /usr/share/nginx/html/index.html`
			`sed -i -e "s\|%REDOC_OPTIONS%\|${REDOC_OPTIONS}\|g" /usr/share/nginx/html/index.html`
docker: Incorrect port after restart when PORT is 8080 (#776) When PORT is 8080 and dokcer restart, nginx will listen 80808080 2019-01-10 11:06:51 +03:00			`sed -i -e "s\|\(listen\s\) [0-9]\|\1 ${PORT}\|g" /etc/nginx/nginx.conf`
chore: Add Dockerfile for easier deployment (#427) 2018-06-25 14:10:29 +03:00
			`exec nginx -g 'daemon off;'`