From 467820bc366e46fd07651e0cb647b623b8f5ff56 Mon Sep 17 00:00:00 2001 From: crupest Date: Tue, 13 Aug 2024 22:45:45 +0800 Subject: feat(docker/debian-dev): remove code-server and merge it to debian-dev. --- docker/debian-dev/bootstrap/bash-profile/code-server.bash | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 docker/debian-dev/bootstrap/bash-profile/code-server.bash (limited to 'docker/debian-dev/bootstrap/bash-profile/code-server.bash') diff --git a/docker/debian-dev/bootstrap/bash-profile/code-server.bash b/docker/debian-dev/bootstrap/bash-profile/code-server.bash new file mode 100644 index 0000000..443eb0b --- /dev/null +++ b/docker/debian-dev/bootstrap/bash-profile/code-server.bash @@ -0,0 +1,12 @@ +export CODE_SERVER_CONFIG="/data/code-server-config.yaml" + +CODE_SERVER_PROGRAM=code-server +CODE_SERVER_PORT=8080 + +if which "$CODE_SERVER_PROGRAM" > /dev/null 2>&1; then + if ! pgrep -f "$CODE_SERVER_PROGRAM" > /dev/null 2>&1; then + mkdir -p ~/.local/share/code-server + nohup "$CODE_SERVER_PROGRAM" "--bind-addr", "0.0.0.0:$CODE_SERVER_PORT" \ + > ~/.local/share/code-server/log 2> ~/.local/share/code-server/error & + fi +fi -- cgit v1.2.3