From c65596d72f8db15b41b56ecb99e1a90b952f664f Mon Sep 17 00:00:00 2001 From: Kama Ramsey Date: Fri, 31 Jul 2026 10:44:09 -0400 Subject: [PATCH 1/5] Updated version check and added preferred user settings defaults --- template/script.sh.erb | 35 +++++++++++++++++++++++++++++++++++ view.html.erb | 2 +- 2 files changed, 36 insertions(+), 1 deletion(-) diff --git a/template/script.sh.erb b/template/script.sh.erb index 13ab534..c090bdd 100755 --- a/template/script.sh.erb +++ b/template/script.sh.erb @@ -40,6 +40,41 @@ if [[ -f "$CPP_FILE" ]]; then mv "$CPP_FILE".new "$CPP_FILE" fi +# Create an empty settings file if one doesn't exist +USER_SETTINGS_DIR="$CODE_SERVER_DATAROOT/User" +USER_SETTINGS_FILE="$USER_SETTINGS_DIR/settings.json" + +mkdir -p "$USER_SETTINGS_DIR" + +if [[ ! -f "$USER_SETTINGS_FILE" ]]; then + echo '{}' > "$USER_SETTINGS_FILE" +fi + +# Merge default settings into the user's settings +# User settings take precedence +jq -s '.[0] * .[1]' \ + <(cat <<'EOF' +{ + "search.followSymlinks": false, + "search.exclude": { + "**/.git": true, + "**/node_modules": true, + "**/scratch": true + }, + "telemetry.telemetryLevel": "off", + "chat.disableAIFeatures": true, + "chat.agent.enabled": false, + "chat.commandCenter.enabled": false, + "workbench.settings.showAISearchToggle": false, + "terminal.integrated.initialHint": false +} +EOF +) \ + "$USER_SETTINGS_FILE" \ + > "$USER_SETTINGS_FILE.new" + +mv "$USER_SETTINGS_FILE.new" "$USER_SETTINGS_FILE" + # # Start Code Server. # diff --git a/view.html.erb b/view.html.erb index e5bb85d..aabf699 100644 --- a/view.html.erb +++ b/view.html.erb @@ -23,7 +23,7 @@ })(); -<% if code_server_version == '4.8.3' %> +<% if Gem::Version.new(code_server_version) >= Gem::Version.new('4.8.3') %>
<% else %> From 522fa81c094e371e5dd2f96dec1df381353e82bb Mon Sep 17 00:00:00 2001 From: Kama Ramsey Date: Fri, 31 Jul 2026 11:49:39 -0400 Subject: [PATCH 2/5] Added notice about AI use and institutional data policy --- form.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/form.yml b/form.yml index 463c3de..c5df531 100644 --- a/form.yml +++ b/form.yml @@ -11,6 +11,7 @@ form: attributes: auto_modules_app_code_server: default: false + help: "GitHub Copilot is available in newer versions of Code Server. You are responsible for ensuring your use complies with your institution's AI data policies." working_dir: widget: "path_selector" label: "Working Directory" From 2e26bc2f1066a4e0e482c1085717afbdb1c20759 Mon Sep 17 00:00:00 2001 From: Kama Ramsey Date: Wed, 12 Aug 2026 10:11:00 -0400 Subject: [PATCH 3/5] Removed auto-changing user settings file --- template/script.sh.erb | 35 ----------------------------------- 1 file changed, 35 deletions(-) diff --git a/template/script.sh.erb b/template/script.sh.erb index c090bdd..13ab534 100755 --- a/template/script.sh.erb +++ b/template/script.sh.erb @@ -40,41 +40,6 @@ if [[ -f "$CPP_FILE" ]]; then mv "$CPP_FILE".new "$CPP_FILE" fi -# Create an empty settings file if one doesn't exist -USER_SETTINGS_DIR="$CODE_SERVER_DATAROOT/User" -USER_SETTINGS_FILE="$USER_SETTINGS_DIR/settings.json" - -mkdir -p "$USER_SETTINGS_DIR" - -if [[ ! -f "$USER_SETTINGS_FILE" ]]; then - echo '{}' > "$USER_SETTINGS_FILE" -fi - -# Merge default settings into the user's settings -# User settings take precedence -jq -s '.[0] * .[1]' \ - <(cat <<'EOF' -{ - "search.followSymlinks": false, - "search.exclude": { - "**/.git": true, - "**/node_modules": true, - "**/scratch": true - }, - "telemetry.telemetryLevel": "off", - "chat.disableAIFeatures": true, - "chat.agent.enabled": false, - "chat.commandCenter.enabled": false, - "workbench.settings.showAISearchToggle": false, - "terminal.integrated.initialHint": false -} -EOF -) \ - "$USER_SETTINGS_FILE" \ - > "$USER_SETTINGS_FILE.new" - -mv "$USER_SETTINGS_FILE.new" "$USER_SETTINGS_FILE" - # # Start Code Server. # From 13ba4469e39b973146cd9c9463bb46259cf893e1 Mon Sep 17 00:00:00 2001 From: Kama Ramsey Date: Wed, 12 Aug 2026 14:58:44 -0400 Subject: [PATCH 4/5] Moved default settings to CODE_SERVER_MACHINE_SETTINGS --- template/script.sh.erb | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/template/script.sh.erb b/template/script.sh.erb index 13ab534..a9495d4 100755 --- a/template/script.sh.erb +++ b/template/script.sh.erb @@ -40,6 +40,10 @@ if [[ -f "$CPP_FILE" ]]; then mv "$CPP_FILE".new "$CPP_FILE" fi +# Copy machine settings file +mkdir -p "$CODE_SERVER_DATAROOT/Machine" +cp "$CODE_SERVER_MACHINE_SETTINGS" "$CODE_SERVER_DATAROOT/Machine/settings.json" + # # Start Code Server. # From aa0897de3b3cac8a4652437bc352374f7ed948c9 Mon Sep 17 00:00:00 2001 From: Kama Ramsey <150853058+ramsey648@users.noreply.github.com> Date: Thu, 13 Aug 2026 16:07:58 -0400 Subject: [PATCH 5/5] Remove copilot note Removed help text regarding GitHub Copilot compliance. --- form.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/form.yml b/form.yml index c5df531..463c3de 100644 --- a/form.yml +++ b/form.yml @@ -11,7 +11,6 @@ form: attributes: auto_modules_app_code_server: default: false - help: "GitHub Copilot is available in newer versions of Code Server. You are responsible for ensuring your use complies with your institution's AI data policies." working_dir: widget: "path_selector" label: "Working Directory"