22 lines
515 B
Bash
Executable File
22 lines
515 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
log() {
|
|
printf '[workspace-setup] %s\n' "$1"
|
|
}
|
|
|
|
CODE_SERVER_MACHINE_DIR="${HOME:-/home/coder}/.local/share/code-server/Machine"
|
|
mkdir -p "$CODE_SERVER_MACHINE_DIR"
|
|
MACHINE_SETTINGS="$CODE_SERVER_MACHINE_DIR/settings.json"
|
|
|
|
if [ ! -s "$MACHINE_SETTINGS" ]; then
|
|
cat >"$MACHINE_SETTINGS" <<'JSON'
|
|
{}
|
|
JSON
|
|
log "Created machine settings file at $MACHINE_SETTINGS"
|
|
else
|
|
log "Machine settings already present at $MACHINE_SETTINGS"
|
|
fi
|
|
|
|
log "Workspace setup checks complete."
|