Update debian_mini

This commit is contained in:
Buzz 2024-08-21 16:26:34 +10:00 committed by GitHub
parent ab5c9bb2b4
commit 18350cd2af
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -37,4 +37,5 @@ RUN cd /home/user && chown -R user:user ./ardupilot/.*
WORKDIR /home/user/
# We set env, as this gets extracted by Webvm. This is optional.
ENV HOME="/home/user" TERM="xterm" USER="user" SHELL="/bin/bash" EDITOR="vim" LANG="en_US.UTF-8" LC_ALL="C"
RUN git config --global --add safe.directory /home/user/ardupilot
CMD [ "/bin/bash" ]