From 26596484ed2812bbf7ac86165514c094221357d7 Mon Sep 17 00:00:00 2001 From: Alex Burka Date: Wed, 10 Apr 2024 20:18:12 +0000 Subject: [PATCH] docker: remove "waf" alias It was difficult to use the alias, since aliases aren't inherited by subshells, so the only way is to run `source ~/.ardpuilot_env` again inside the container, which doesn't seem worth it to avoid a couple of `./` which are in all of the documentation anyway. --- Dockerfile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index fd24eaff53..05fb311a8b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -37,9 +37,6 @@ USER ${USER_NAME} ENV SKIP_AP_EXT_ENV=$SKIP_AP_EXT_ENV SKIP_AP_GRAPHIC_ENV=$SKIP_AP_GRAPHIC_ENV SKIP_AP_COV_ENV=$SKIP_AP_COV_ENV SKIP_AP_GIT_CHECK=$SKIP_AP_GIT_CHECK RUN Tools/environment_install/install-prereqs-ubuntu.sh -y -# add waf alias to ardupilot waf to .ardupilot_env -RUN echo "alias waf=\"/${USER_NAME}/waf\"" >> ~/.ardupilot_env - # 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" >> ~/.ardupilot_env