Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-02 05:17:03 +08:00
Code Issues Actions 29 Packages Projects Releases Wiki Activity

[docker] fix pprz-ci image

Browse Source
This commit is contained in:
Felix Ruess
2018-09-23 20:16:49 +02:00
parent 4fb98a3789
commit 0929228375
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docker/ci/Dockerfile
+1 -1
View File
@@ -1,7 +1,7 @@
FROM paparazziuav/pprz-dep FROM paparazziuav/pprz-dep
LABEL maintainer="felix.ruess@gmail.com" LABEL maintainer="felix.ruess@gmail.com"
RUN sudo sh -c 'echo "deb http://packages.osrfoundation.org/gazebo/ubuntu-stable `lsb_release -cs` main" > /etc/apt/sources.list.d/gazebo-stable.list' 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 - | sudo apt-key add - RUN wget http://packages.osrfoundation.org/gazebo.key -O - | sudo apt-key add -
RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y \ RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y \