#!/usr/bin/env bash set -euo pipefail ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" mkdir -p \ "${ROOT_DIR}/.nginx/logs" \ "${ROOT_DIR}/.nginx/client_body_temp" \ "${ROOT_DIR}/.nginx/proxy_temp" \ "${ROOT_DIR}/.nginx/fastcgi_temp" \ "${ROOT_DIR}/.nginx/uwsgi_temp" \ "${ROOT_DIR}/.nginx/scgi_temp" if [[ -f "${ROOT_DIR}/.nginx/nginx.pid" ]] && kill -0 "$(cat "${ROOT_DIR}/.nginx/nginx.pid")" 2>/dev/null; then nginx -s reload -c "${ROOT_DIR}/deploy/nginx.user-8443.conf" -p "${ROOT_DIR}/.nginx" else nginx -c "${ROOT_DIR}/deploy/nginx.user-8443.conf" -p "${ROOT_DIR}/.nginx" fi echo "User-mode Nginx is running at https://gahow-pc.ipads-lab.se.sjtu.edu.cn:8443/"