Update debian_mini

This commit is contained in:
Buzz 2024-08-21 13:18:54 +10:00 committed by GitHub
parent 6ca399c8d4
commit f230b37c69
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -11,6 +11,7 @@ RUN useradd -m user && echo "user:password" | chpasswd
RUN cd /home/user && git clone --depth=1 https://github.com/ArduPilot/ardupilot
RUN cd /home/user && chown -R user:user ./ardupilot
RUN git config --global --add safe.directory /home/user/ardupilot
RUN cd /home/user/ardupilot && bash -c './Tools/gittools/submodule-sync.sh'
COPY --chown=user:user ./examples /home/user/examples