39 lines
1.1 KiB
Docker
39 lines
1.1 KiB
Docker
FROM debian:stable-slim
|
|
|
|
LABEL maintainer="thomas.klaehn@perinet.io"
|
|
|
|
# Enable contrip section for "repo"
|
|
# RUN sed -i -e 's/.main$/ main contrib/' /etc/apt/sources.list
|
|
|
|
RUN export DEBIAN_FRONTEND=noninteractive && apt-get update && apt-get -y install --no-install-recommends \
|
|
binutils-arm-none-eabi \
|
|
gcc-arm-none-eabi \
|
|
gdb-multiarch \
|
|
git \
|
|
libstdc++-arm-none-eabi-dev \
|
|
libstdc++-arm-none-eabi-newlib \
|
|
make \
|
|
openocd
|
|
|
|
# Set UTF8 locale settings
|
|
# RUN apt-get install -yq locales && \
|
|
# locale-gen en_US.UTF-8 && \
|
|
# sed -i -e 's/# en_US.UTF-8 UTF-8/en_US.UTF-8 UTF-8/' /etc/locale.gen && \
|
|
# dpkg-reconfigure --frontend=noninteractive locales && \
|
|
# update-locale LANG=en_US.UTF-8
|
|
|
|
# ENV LANG en_US.UTF-8
|
|
|
|
# RUN useradd -ms /bin/bash builder
|
|
# RUN echo "builder:builder" | chpasswd
|
|
|
|
# ADD init.sh /usr/local/bin/init.sh
|
|
|
|
# WORKDIR = /work
|
|
|
|
# ENTRYPOINT ["/usr/local/bin/init.sh"]
|
|
RUN mkdir /workspaces
|
|
VOLUME /workspaces
|
|
WORKDIR /workspaces/
|
|
CMD ["/bin/bash"]
|