add support for changing PWA name

if environment variable `PWA_APPNAME` is set, then this value is used for the name of the PWA app.
This commit is contained in:
Arnav Jain 2025-06-03 15:22:45 +02:00 committed by GitHub
parent f58e3ebccc
commit a0a1ba58ee
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -14,6 +14,10 @@ else
PROXY_DOMAIN_ARG="--proxy-domain=${PROXY_DOMAIN}"
fi
if [[ -z ${PWA_APPNAME} ]]; then
PWA_APPNAME="code-server"
fi
if [[ -z ${LSIO_NON_ROOT_USER} ]]; then
exec \
s6-notifyoncheck -d -n 300 -w 1000 -c "nc -z 127.0.0.1 8443" \
@ -24,6 +28,7 @@ if [[ -z ${LSIO_NON_ROOT_USER} ]]; then
--extensions-dir /config/extensions \
--disable-telemetry \
--auth "${AUTH}" \
--app-name "${PWA_APPNAME}" \
"${PROXY_DOMAIN_ARG}" \
"${DEFAULT_WORKSPACE:-/config/workspace}"
else
@ -35,6 +40,7 @@ else
--extensions-dir /config/extensions \
--disable-telemetry \
--auth "${AUTH}" \
--app-name "${PWA_APPNAME}" \
"${PROXY_DOMAIN_ARG}" \
"${DEFAULT_WORKSPACE:-/config/workspace}"
fi