From 5b3edd9bbde75c7cffab26678e5fccd0ab7e6ca5 Mon Sep 17 00:00:00 2001 From: Muhammad Atif Ali Date: Thu, 18 Jan 2024 23:22:57 +0300 Subject: [PATCH] fix(code-server): write settings to User (#123) --- code-server/run.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/code-server/run.sh b/code-server/run.sh index 8cad538..1212beb 100755 --- a/code-server/run.sh +++ b/code-server/run.sh @@ -39,10 +39,10 @@ for extension in "$${EXTENSIONLIST[@]}"; do done # Check if the settings file exists... -if [ ! -f ~/.local/share/code-server/Machine/settings.json ]; then +if [ ! -f ~/.local/share/code-server/User/settings.json ]; then echo "⚙️ Creating settings file..." - mkdir -p ~/.local/share/code-server/Machine - echo "${SETTINGS}" > ~/.local/share/code-server/Machine/settings.json + mkdir -p ~/.local/share/code-server/User + echo "${SETTINGS}" > ~/.local/share/code-server/User/settings.json fi echo "👷 Running code-server in the background..."