Newer
Older
code-server:
if [ -z ${PROXY_DOMAIN+x} ]; then
PROXY_DOMAIN_ARG=""
else
PROXY_DOMAIN_ARG="--proxy-domain=${PROXY_DOMAIN}"
fi
--user-data-dir /config/data \
--extensions-dir /config/extensions \
"${PROXY_DOMAIN_ARG}" \