Update debian_mini

This commit is contained in:
Buzz 2024-08-21 13:30:51 +10:00 committed by GitHub
parent f230b37c69
commit 7383c7cd2a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -9,10 +9,13 @@ RUN apt-get -y install apt-utils gcc \
less netcat-openbsd git
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 && git clone --depth=1 --recurse-submodules --shallow-submodules https://github.com/ArduPilot/ardupilot
RUN git config --global --add safe.directory /home/user/ardupilot
RUN cd /home/user/ardupilot && bash -c './Tools/gittools/submodule-sync.sh'
RUN git config --global --add safe.directory /home/user/ardupilot/modules/ChibiOS
RUN cd /home/user && chown -R user:user ./ardupilot
# RUN cd /home/user/ardupilot && bash -c './Tools/gittools/submodule-sync.sh'
# RUN cd /home/user/ardupilot && git submodule update --depth=1 --force --init
# RUN cd /home/user/ardupilot/modules/ChibiOS && git submodule update --depth=1 --force --init
COPY --chown=user:user ./examples /home/user/examples
RUN chmod -R +x /home/user/examples/lua