From 8fe3578e17757a50f8285a2759c6b149fe85a0b0 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/code-server/install-dev-tools.bash | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 docker/code-server/install-dev-tools.bash (limited to 'docker/code-server/install-dev-tools.bash') diff --git a/docker/code-server/install-dev-tools.bash b/docker/code-server/install-dev-tools.bash deleted file mode 100755 index 3f64743..0000000 --- a/docker/code-server/install-dev-tools.bash +++ /dev/null @@ -1,14 +0,0 @@ -#! /usr/bin/env bash - -set -e - -apt-get update -apt-get install -y vim lsb-release wget git software-properties-common gnupg -apt-get install -y gcc g++ make gdb - -# git config --global user.email "$GIT_EMAIL" -# git config --global user.name "$GIT_NAME" - -source ./install-llvm.bash -source ./install-cmake.bash -source ./install-dotnet.bash -- cgit v1.2.3