Update debian_mini

This commit is contained in:
Buzz 2024-08-21 13:13:37 +10:00 committed by GitHub
parent 76e506f75e
commit 3a9b6ce99c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -11,7 +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 cd /home/user && ./Tools/gittools/submodule-sync.sh
RUN cd /home/user && bash -c './Tools/gittools/submodule-sync.sh'
COPY --chown=user:user ./examples /home/user/examples
RUN chmod -R +x /home/user/examples/lua