|
|
@ -25,20 +25,14 @@ 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 [ -f "$CODE_SERVER" ]; then
|
|
|
|
if [ "${OFFLINE}" = true ]; then
|
|
|
|
if [ "${USE_CACHED}" = true ] && [ -n "${EXTENSIONS_DIR}" ] && [ ! -d "${EXTENSIONS_DIR}" ]; then
|
|
|
|
if [ -f "$CODE_SERVER" ]; then
|
|
|
|
echo "No extensions have been installed yet..."
|
|
|
|
|
|
|
|
elif [ "${USE_CACHED}" = true ] && [ -z "${EXTENSIONS_DIR}" ]; then
|
|
|
|
|
|
|
|
echo "Checking if extensions needs to be installed..."
|
|
|
|
|
|
|
|
elif [ "${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
|
|
|
|