code-server/dockerfile

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 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
RUN sudo apt-get update
RUN sudo apt-get 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

RUN NODE_MAJOR=18
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-get update
RUN sudo apt-get install nodejs -y


RUN sudo apt -y install npm
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