diff options
Diffstat (limited to 'docker/code-server/install-dev-tools.bash')
| -rwxr-xr-x | docker/code-server/install-dev-tools.bash | 14 |
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 |