aboutsummaryrefslogtreecommitdiff
path: root/docker/code-server/install-dev-tools.bash
diff options
context:
space:
mode:
authorcrupest <crupest@outlook.com>2024-08-15 00:08:43 +0800
committercrupest <crupest@outlook.com>2024-08-15 00:08:43 +0800
commit0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c (patch)
tree09504e7755b7803e518baaa11d255f35ed6c9817 /docker/code-server/install-dev-tools.bash
parentbb241f176557341187575c5d74049d4e358d7cd3 (diff)
parentf7c13845654289838cd933b2156abd6e7ae575a5 (diff)
downloadcrupest-0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c.tar.gz
crupest-0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c.tar.bz2
crupest-0dc32c4f8da4f0f52e857775aa240eb3ddca0e9c.zip
Merge branch 'debian-dev'
Diffstat (limited to 'docker/code-server/install-dev-tools.bash')
-rwxr-xr-xdocker/code-server/install-dev-tools.bash14
1 files changed, 0 insertions, 14 deletions
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