code-server/dockerfile
Sven Heidemann 2efc1eecaa
All checks were successful
Deploy on push / on-push-deploy_sh-edraft (push) Successful in 1m45s
Fixed make
2023-11-29 19:16:48 +00:00

55 lines
2.5 KiB
Plaintext

FROM codercom/code-server:latest
RUN sudo apt update
RUN sudo apt upgrade -y
RUN sudo apt install -y nano curl wget zip unzip tree
# install dotnet
RUN wget https://packages.microsoft.com/config/debian/12/packages-microsoft-prod.deb -O packages-microsoft-prod.deb
RUN sudo dpkg -i packages-microsoft-prod.deb
RUN rm packages-microsoft-prod.deb
RUN sudo apt-get update
RUN sudo apt-get install -y dotnet-sdk-7.0
RUN sudo apt-get install -y aspnetcore-runtime-7.0
# install python3.10
RUN sudo apt install -y build-essential zlib1g-dev libncurses5-dev libgdbm-dev libnss3-dev libssl-dev libreadline-dev libffi-dev libsqlite3-dev wget libbz2-dev && \
wget https://www.python.org/ftp/python/3.10.12/Python-3.10.12.tgz && \
tar -xf Python-3.10.*.tgz && \
cd Python-3.10.*/ && \
./configure --prefix=/usr/local --enable-optimizations --enable-shared LDFLAGS="-Wl,-rpath /usr/local/lib" && \
make -j $(nproc) && \
sudo make altinstall && \
cd ../ && sudo rm -rf Python-3.10.*/ && sudo rm Python-3.10.*.tgz
RUN sudo update-alternatives --install /usr/bin/python python /usr/local/bin/python3.10 1
RUN sudo update-alternatives --install /usr/bin/python3 python /usr/local/bin/python3.10 1
RUN sudo update-alternatives --install /usr/bin/pip pip /usr/local/bin/pip3.10 1
RUN python3.10 -m pip install --upgrade pip
RUN python3.10 -m pip install --user --upgrade pip
RUN python3.10 -m pip install cpl-cli --extra-index-url https://pip.sh-edraft.de
RUN python3.10 -m pip install cpl-query --extra-index-url https://pip.sh-edraft.de
# Install node and npm
RUN sudo apt update
RUN sudo apt install -y ca-certificates curl gnupg
RUN sudo mkdir -p /etc/apt/keyrings
RUN curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | sudo gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg
ENV NODE_MAJOR=20
RUN echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_$NODE_MAJOR.x nodistro main" | sudo tee /etc/apt/sources.list.d/nodesource.list
RUN sudo apt update
RUN sudo apt install nodejs -y
RUN sudo npm install -g @angular/cli
RUN sudo npm install -g ts-node
# install dart
RUN sudo apt update
RUN sudo apt install apt-transport-https -y
RUN wget -qO- https://dl-ssl.google.com/linux/linux_signing_key.pub | sudo gpg --dearmor -o /usr/share/keyrings/dart.gpg
RUN echo 'deb [signed-by=/usr/share/keyrings/dart.gpg arch=amd64] https://storage.googleapis.com/download.dartlang.org/linux/debian stable main' | sudo tee /etc/apt/sources.list.d/dart_stable.list
RUN sudo apt update
RUN sudo apt install dart -y