code-server/dockerfile

55 lines
2.5 KiB
Plaintext
Raw Normal View History

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) && \
2023-11-29 20:16:48 +01:00
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-29 14:31:46 +01:00
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
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-28 16:37:19 +01:00
# 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
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