Update debian_mini

perms still not right .
This commit is contained in:
Buzz 2024-08-21 17:07:52 +10:00 committed by GitHub
parent 50d2b32d96
commit 163b5f74ea
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -36,6 +36,8 @@ RUN cd /home/user && chown -R user:user ./ardupilot/.*
# We set WORKDIR, as this gets extracted by Webvm to be used as the cwd. This is optional.
WORKDIR /home/user/
# We set env, as this gets extracted by Webvm. This is optional.
CMD [ "/bin/bash","-c","chown -R user:user /home/user"]
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","-c","chown -R user:user /home/user"]
CMD [ "/bin/bash" ]