chore: rename

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

@ -105,7 +105,7 @@ variable "offline" {
variable "use_cached" {
type = bool
description = "Uses cached copy code-server in the background, otherwise fetched it from GitHub"
description = "Uses cached copy VS Code Web in the background, otherwise fetched it from GitHub"
default = false
}
@ -117,7 +117,7 @@ variable "extensions_dir" {
variable "auto_install_extensions" {
type = bool
description = "Automatically install recommended extensions when code-server starts."
description = "Automatically install recommended extensions when VS Code Web starts."
default = false
}

@ -23,15 +23,15 @@ if [ ! -f ~/.vscode-server/data/Machine/settings.json ]; then
echo "${SETTINGS}" > ~/.vscode-server/data/Machine/settings.json
fi
# Check if code-server is already installed for offline or cached mode
# Check if vscode-server is already installed for offline or cached mode
if [ -f "$VSCODE_SERVER" ]; then
if [ "${OFFLINE}" = true ] || [ "${USE_CACHED}" = true ]; then
echo "🥳 Found a copy of code-server"
echo "🥳 Found a copy of VS Code Web"
run_code_server
exit 0
fi
fi
# Offline mode always expects a copy of code-server to be present
# Offline mode always expects a copy of vscode-server to be present
if [ "${OFFLINE}" = true ]; then
echo "Failed to find a copy of code-server"
exit 1

Loading…
Cancel
Save