diff options
author | Yuqian Yang <crupest@crupest.life> | 2025-02-13 11:14:10 +0800 |
---|---|---|
committer | Yuqian Yang <crupest@crupest.life> | 2025-02-20 23:07:54 +0800 |
commit | 56611f29e11f8729cf43ca422dd557f201727846 (patch) | |
tree | c858cf3a1515e1ad36c18a267fd44e15d524f136 /docker/debian-dev/bootstrap/start | |
parent | f4c3bd4a2eae6861a6b6c053ab62b6538b64a1ff (diff) | |
download | crupest-56611f29e11f8729cf43ca422dd557f201727846.tar.gz crupest-56611f29e11f8729cf43ca422dd557f201727846.tar.bz2 crupest-56611f29e11f8729cf43ca422dd557f201727846.zip |
feat(debian-dev): trim it.
Diffstat (limited to 'docker/debian-dev/bootstrap/start')
-rwxr-xr-x | docker/debian-dev/bootstrap/start/code-server.bash | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/docker/debian-dev/bootstrap/start/code-server.bash b/docker/debian-dev/bootstrap/start/code-server.bash deleted file mode 100755 index 7dfc0e9..0000000 --- a/docker/debian-dev/bootstrap/start/code-server.bash +++ /dev/null @@ -1,18 +0,0 @@ -#! /usr/bin/env bash - -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 -x "$CODE_SERVER_PROGRAM" > /dev/null 2>&1; then - echo "code-server is not running, starting..." - "$CODE_SERVER_PROGRAM" "--bind-addr" "0.0.0.0:$CODE_SERVER_PORT" - else - echo "code-server is already running." - fi -else - echo "code-server not found, skipping code-server setup." >&2 - exit 1 -fi |