|
|
@ -25,20 +25,20 @@ if [ ! -f ~/.local/share/code-server/User/settings.json ]; then
|
|
|
|
echo "${SETTINGS}" > ~/.local/share/code-server/User/settings.json
|
|
|
|
echo "${SETTINGS}" > ~/.local/share/code-server/User/settings.json
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
# Check if code-server is already installed for offline or cached mode
|
|
|
|
# Check if code-server is already installed for offline
|
|
|
|
|
|
|
|
if [ "${OFFLINE}" = true ]; then
|
|
|
|
if [ -f "$CODE_SERVER" ]; then
|
|
|
|
if [ -f "$CODE_SERVER" ]; then
|
|
|
|
if [ "${OFFLINE}" = true ] || [ "${USE_CACHED}" = true ]; then
|
|
|
|
|
|
|
|
echo "🥳 Found a copy of code-server"
|
|
|
|
echo "🥳 Found a copy of code-server"
|
|
|
|
run_code_server
|
|
|
|
run_code_server
|
|
|
|
exit 0
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
# Offline mode always expects a copy of code-server to be present
|
|
|
|
# Offline mode always expects a copy of code-server to be present
|
|
|
|
if [ "${OFFLINE}" = true ]; then
|
|
|
|
|
|
|
|
echo "Failed to find a copy of code-server"
|
|
|
|
echo "Failed to find a copy of code-server"
|
|
|
|
exit 1
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# If there is no cached install OR we don't want to use a cached install
|
|
|
|
|
|
|
|
if [ ! -f "$CODE_SERVER" ] || [ "${USE_CACHED}" != true ]; then
|
|
|
|
printf "$${BOLD}Installing code-server!\n"
|
|
|
|
printf "$${BOLD}Installing code-server!\n"
|
|
|
|
|
|
|
|
|
|
|
|
ARGS=(
|
|
|
|
ARGS=(
|
|
|
@ -55,6 +55,7 @@ if [ $? -ne 0 ]; then
|
|
|
|
exit 1
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
printf "🥳 code-server has been installed in ${INSTALL_PREFIX}\n\n"
|
|
|
|
printf "🥳 code-server has been installed in ${INSTALL_PREFIX}\n\n"
|
|
|
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
# Install each extension...
|
|
|
|
# Install each extension...
|
|
|
|
IFS=',' read -r -a EXTENSIONLIST <<< "$${EXTENSIONS}"
|
|
|
|
IFS=',' read -r -a EXTENSIONLIST <<< "$${EXTENSIONS}"
|
|
|
|