Update debian_mini

This commit is contained in:
Buzz 2024-08-22 14:23:10 +10:00 committed by GitHub
parent 56561a9718
commit e9ffcaf75a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -35,6 +35,7 @@ RUN rm -rf /home/user/ardupilot/modules
RUN echo "getting git right..."
RUN git config --global --add safe.directory /home/user/ardupilot
RUN git config --global --add safe.directory /home/user/ardupilot/modules/ChibiOS
RUN git config --global --add safe.directory /mnt/ardupilot
RUN echo "setting user permissions..."
RUN cd /home/user && chown -R user:user .
RUN cd /home/user && chown -R user:user ./ardupilot