fix: command not found error

pull/205/head
Michael Brewer 1 year ago
parent b6c6929aed
commit ce7f910043
No known key found for this signature in database
GPG Key ID: D7A137BA1254AFC7

@ -9,7 +9,7 @@ CODE_SERVER="${INSTALL_PREFIX}/bin/code-server"
# Set extension directory # Set extension directory
EXTENSION_ARG="" EXTENSION_ARG=""
if [ -n "${EXTENSIONS_DIR}" ]; then if [ -n "${EXTENSIONS_DIR}" ]; then
EXTENSION_ARG="--extensions-dir ${EXTENSIONS_DIR} " EXTENSION_ARG="--extensions-dir=${EXTENSIONS_DIR}"
fi fi
function run_code_server() { function run_code_server() {

Loading…
Cancel
Save