2023-11-02 15:24:18 +01:00
|
|
|
FROM codercom/code-server:latest
|
|
|
|
RUN sudo apt update
|
|
|
|
RUN sudo apt upgrade -y
|
2023-11-02 15:42:53 +01:00
|
|
|
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 && \
|
2023-11-27 19:19:07 +01:00
|
|
|
cd ../ && sudo rm -rf Python-3.10.*/ && sudo rm Python-3.10.*.tgz
|
2023-11-02 15:42:53 +01:00
|
|
|
|
2023-11-28 09:50:04 +01:00
|
|
|
RUN python3.10 -m pip install --upgrade pip
|
|
|
|
RUN python3.10 -m pip install --user --upgrade pip
|
|
|
|
|
2023-11-28 09:37:05 +01:00
|
|
|
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
|
2023-11-28 09:33:30 +01:00
|
|
|
|
2023-11-02 19:17:05 +01:00
|
|
|
# install node
|
2023-11-28 16:37:19 +01:00
|
|
|
RUN curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.37.2/install.sh | bash
|
|
|
|
RUN sudo nvm install node
|
|
|
|
|
2023-11-28 09:33:30 +01:00
|
|
|
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
|