From 8355ffd2407354d3a6261da201246f43a9161508 Mon Sep 17 00:00:00 2001 From: vgamayunov <74012931+vgamayunov@users.noreply.github.com> Date: Wed, 30 Aug 2023 17:36:35 +0100 Subject: [PATCH] install code-server to resource disk (#1666) --- .../files/bc_codeserver/template/script.sh.erb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/playbooks/roles/ood-applications/files/bc_codeserver/template/script.sh.erb b/playbooks/roles/ood-applications/files/bc_codeserver/template/script.sh.erb index f6b715483..f212b8dc6 100755 --- a/playbooks/roles/ood-applications/files/bc_codeserver/template/script.sh.erb +++ b/playbooks/roles/ood-applications/files/bc_codeserver/template/script.sh.erb @@ -15,10 +15,11 @@ end if ! which code-server; then mkdir -p /mnt/resource/$USER pushd /mnt/resource/$USER - curl -fsSL https://code-server.dev/install.sh | sh -s -- --version 4.8.3 --method standalone + curl -fsSL https://code-server.dev/install.sh | sh -s -- --version 4.8.3 --method standalone --prefix /mnt/resource/$USER popd fi +export PATH=/mnt/resource/$USER/bin:$PATH CODE_SERVER_DATAROOT="$HOME/.local/share/code-server" # Expose the password to the server.