diff options
author | crupest <crupest@outlook.com> | 2023-02-05 00:02:34 +0800 |
---|---|---|
committer | crupest <crupest@outlook.com> | 2023-02-05 00:19:20 +0800 |
commit | 068652372baa4cdc4687fc0c08d38f9d77e1b348 (patch) | |
tree | 2cd35641390772b78c6cb437aff2bf192ebe3d1d /docker/code-server/install-dev-tools.bash | |
parent | 9605c91b63a9f837f352145ce67f901fe5387428 (diff) | |
download | crupest-068652372baa4cdc4687fc0c08d38f9d77e1b348.tar.gz crupest-068652372baa4cdc4687fc0c08d38f9d77e1b348.tar.bz2 crupest-068652372baa4cdc4687fc0c08d38f9d77e1b348.zip |
Update code-server.
Diffstat (limited to 'docker/code-server/install-dev-tools.bash')
-rwxr-xr-x | docker/code-server/install-dev-tools.bash | 12 |
1 files changed, 5 insertions, 7 deletions
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/* |