Sven Heidemann
2efc1eecaa
All checks were successful
Deploy on push / on-push-deploy_sh-edraft (push) Successful in 1m45s
55 lines
2.5 KiB
Plaintext
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 |