From 783c534feffe442c063d5a2410081e31c09e9eb8 Mon Sep 17 00:00:00 2001 From: Yuqian Yang Date: Thu, 13 Feb 2025 11:14:10 +0800 Subject: feat(debian-dev): trim it. --- docker/debian-dev/bootstrap/setup-code-server.bash | 28 ---------------------- 1 file changed, 28 deletions(-) delete mode 100755 docker/debian-dev/bootstrap/setup-code-server.bash (limited to 'docker/debian-dev/bootstrap/setup-code-server.bash') diff --git a/docker/debian-dev/bootstrap/setup-code-server.bash b/docker/debian-dev/bootstrap/setup-code-server.bash deleted file mode 100755 index 34c9697..0000000 --- a/docker/debian-dev/bootstrap/setup-code-server.bash +++ /dev/null @@ -1,28 +0,0 @@ -#! /usr/bin/env bash - -set -e - -. /bootstrap/func.bash - -echo "Setting up code server..." - -echo "Get latest version of code-server..." -VERSION=$(curl -s https://api.github.com/repos/coder/code-server/releases/latest | grep '"tag_name":' | sed -E 's/.*"v([^"]+)".*/\1/') -echo "Current latest version of code-server is $VERSION" - -echo "Downloading code-server..." -url="https://github.com/coder/code-server/releases/download/v${VERSION}/code-server_${VERSION}_amd64.deb" -curl -sSfOL "$url" -echo "Downloading code-server done." - -echo "Installing code-server..." -apt-get install -y "./code-server_${VERSION}_amd64.deb" -echo "Installing code-server done." - -echo "Cleaning up deb..." -rm "code-server_${VERSION}_amd64.deb" -echo "Cleaning up deb done." - -append-bash-profile code-server.bash - -echo "Setting up code server done." -- cgit v1.2.3