diff options
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash')
| -rw-r--r-- | docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash | 3 |
1 files changed, 3 insertions, 0 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 e683e76..7cc6770 100644 --- a/docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash +++ b/docker/crupest-debian-dev/bootstrap/bash-profile/code-server.bash @@ -5,8 +5,11 @@ 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 |