diff options
author | crupest <crupest@outlook.com> | 2024-06-16 11:38:17 +0800 |
---|---|---|
committer | crupest <crupest@outlook.com> | 2024-08-15 01:06:50 +0800 |
commit | bbadec644df903e43de93bdd1da39a9b1a075058 (patch) | |
tree | d89e618fde02be6d04ee28abcee52842bc802bad /docker/crupest-debian-dev/bootstrap | |
parent | b17d0f6698d80c6c420987601df51f58339b3b4f (diff) | |
download | crupest-bbadec644df903e43de93bdd1da39a9b1a075058.tar.gz crupest-bbadec644df903e43de93bdd1da39a9b1a075058.tar.bz2 crupest-bbadec644df903e43de93bdd1da39a9b1a075058.zip |
feat(docker/debian-dev): auto detect tty.
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap')
3 files changed, 27 insertions, 15 deletions
diff --git a/docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash b/docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash index fd88d15..aafc4b5 100644 --- a/docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash +++ b/docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash @@ -1,15 +1 @@ -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 - echo "code-server is not running, starting..." - mkdir -p ~/.local/share/code-server - "$CODE_SERVER_PROGRAM" "--bind-addr" "0.0.0.0:$CODE_SERVER_PORT" \ - > ~/.local/share/code-server/log 2> ~/.local/share/code-server/error & - fi -else - echo "code-server not found, skipping code-server setup." -fi +/bootstrap/start/code-server.bash > ~/.local/share/code-server/log 2> ~/.local/share/code-server/error & diff --git a/docker/crupest-debian-dev/bootstrap/start/code-server.bash b/docker/crupest-debian-dev/bootstrap/start/code-server.bash new file mode 100755 index 0000000..11ecf82 --- /dev/null +++ b/docker/crupest-debian-dev/bootstrap/start/code-server.bash @@ -0,0 +1,19 @@ +#! /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 -f "$CODE_SERVER_PROGRAM" > /dev/null 2>&1; then + echo "code-server is not running, starting..." + mkdir -p ~/.local/share/code-server + "$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 diff --git a/docker/crupest-debian-dev/bootstrap/start/start.bash b/docker/crupest-debian-dev/bootstrap/start/start.bash new file mode 100755 index 0000000..61533fc --- /dev/null +++ b/docker/crupest-debian-dev/bootstrap/start/start.bash @@ -0,0 +1,7 @@ +#! /usr/bin/env bash + +if [ -t 0 ]; then + exec bash -l +else + /bootstrap/start/code-server.bash +fi |