From 63e489120e0a7cc350f41622274e9d24cc7547f9 Mon Sep 17 00:00:00 2001 From: Kyle Carberry Date: Wed, 27 Sep 2023 10:23:14 -0500 Subject: [PATCH] fix: move code-server settings to machine --- code-server/README.md | 2 +- code-server/run.sh | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/code-server/README.md b/code-server/README.md index 32f9084..302a1ea 100644 --- a/code-server/README.md +++ b/code-server/README.md @@ -28,7 +28,7 @@ module "code-server" { module "code-server" { source = "https://registry.coder.com/modules/code-server" agent_id = coder_agent.example.id - install_version = "4.16.1" + install_version = "4.8.3" } ``` diff --git a/code-server/run.sh b/code-server/run.sh index 6dd647b..3e1a38b 100755 --- a/code-server/run.sh +++ b/code-server/run.sh @@ -38,10 +38,10 @@ for extension in "$${EXTENSIONS[@]}"; do done # Check if the settings file exists... -if [ ! -f ~/.local/share/code-server/User/settings.json ]; then +if [ ! -f ~/.local/share/code-server/Machine/settings.json ]; then echo "⚙️ Creating settings file..." - mkdir -p ~/.local/share/code-server/User - echo "${SETTINGS}" > ~/.local/share/code-server/User/settings.json + mkdir -p ~/.local/share/code-server/Machine + echo "${SETTINGS}" > ~/.local/share/code-server/Machine/settings.json fi echo "👷 Running code-server in the background..."