Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-09 22:49:53 +08:00
Code Issues Actions 29 Packages Projects Releases Wiki Activity

[docker] properly export PATH

Browse Source
This commit is contained in:
Gautier Hattenberger
2018-12-16 17:22:39 +01:00
parent a3a9ad0535
commit e07e6b46e7
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docker/ci/Dockerfile
+3 -3
View File
@@ -4,9 +4,9 @@ LABEL maintainer="felix.ruess@gmail.com"
RUN sh -c 'echo "deb http://packages.osrfoundation.org/gazebo/ubuntu-stable `lsb_release -cs` main" > /etc/apt/sources.list.d/gazebo-stable.list'
RUN wget http://packages.osrfoundation.org/gazebo.key -O - | apt-key add -
RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly
RUN /bin/bash -c "source $HOME/.cargo/env; \
rustup target add thumbv7em-none-eabihf; \
rustup target add x86_64-unknown-linux-gnu"
ENV PATH $HOME/.cargo/bin:$PATH
RUN rustup target add thumbv7em-none-eabihf
RUN rustup target add x86_64-unknown-linux-gnu
RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y \
g++-arm-linux-gnueabi \