|
|
|
@ -31,6 +31,9 @@ RUN echo "alias waf=\"/ardupilot/waf\"" >> ~/.bashrc
@@ -31,6 +31,9 @@ RUN echo "alias waf=\"/ardupilot/waf\"" >> ~/.bashrc
|
|
|
|
|
# Check that local/bin are in PATH for pip --user installed package |
|
|
|
|
RUN echo "if [ -d \"\$HOME/.local/bin\" ] ; then\nPATH=\"\$HOME/.local/bin:\$PATH\"\nfi" >> ~/.bashrc |
|
|
|
|
|
|
|
|
|
# Set the buildlogs directory into /tmp as other directory aren't accessible |
|
|
|
|
ENV BUILDLOGS=/tmp/buildlogs |
|
|
|
|
|
|
|
|
|
# Cleanup |
|
|
|
|
RUN DEBIAN_FRONTEND=noninteractive sudo apt-get clean \ |
|
|
|
|
&& sudo rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* |
|
|
|
|