From 068652372baa4cdc4687fc0c08d38f9d77e1b348 Mon Sep 17 00:00:00 2001 From: crupest Date: Sun, 5 Feb 2023 00:02:34 +0800 Subject: Update code-server. --- docker/code-server/install-dev-tools.bash | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (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 index c1764ca..0358f9b 100755 --- a/docker/code-server/install-dev-tools.bash +++ b/docker/code-server/install-dev-tools.bash @@ -3,16 +3,14 @@ set -e apt-get update -apt-get install -y vim wget git +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" -wget https://packages.microsoft.com/config/debian/11/packages-microsoft-prod.deb -O packages-microsoft-prod.deb -dpkg -i packages-microsoft-prod.deb -rm packages-microsoft-prod.deb - -apt-get update -apt-get install -y dotnet-sdk-7.0 +source ./install-llvm.bash +source ./install-cmake.bash +source ./install-dotnet.bash rm -rf /var/lib/apt/lists/* -- cgit v1.2.3