mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-11 16:02:47 +08:00
Gautier Hattenberger
7e4d65d7fb
From zombie package, needed by our current version of mavlink. It is a workaround that could be removed if we manage to update mavlink, now based on importlib rather than imp (removed in python 3.12).
37 lines
1.1 KiB
Docker
37 lines
1.1 KiB
Docker
FROM paparazziuav/pprz-dep
|
|
LABEL maintainer="felix.ruess@gmail.com"
|
|
|
|
# install some extra convenience packages
|
|
RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y \
|
|
light-themes \
|
|
terminator \
|
|
vim \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
# Clean up APT when done.
|
|
RUN apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
|
|
|
|
ENV PULSE_SERVER=/run/pulse/native
|
|
|
|
# add basic user
|
|
ENV USERNAME=pprz USER_ID=1000 USERGROUPS=sudo,dialout,plugdev
|
|
RUN useradd --shell /bin/bash -u $USER_ID -o -c "Paparazzi Docker user" -m $USERNAME \
|
|
&& usermod -aG $USERGROUPS $USERNAME
|
|
|
|
# set gtk theme
|
|
RUN echo include \"/usr/share/themes/Ambiance/gtk-2.0/gtkrc\" > /home/$USERNAME/.gtkrc-2.0
|
|
|
|
# handle permissions for docker volumes by dynamically changing the id of user pprz to LOCAL_USER_ID (default 1000)
|
|
# this uses https://github.com/tianon/gosu/
|
|
RUN set -eux \
|
|
&& apt-get update \
|
|
&& apt-get install -y gosu \
|
|
&& rm -rf /var/lib/apt/lists/* \
|
|
&& gosu nobody true
|
|
|
|
COPY entrypoint.sh /usr/local/bin/entrypoint.sh
|
|
|
|
ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]
|
|
|
|
CMD ["bash"]
|