FROM ubuntu:14.04 MAINTAINER Ammar Najjar [email protected]
RUN apt-key adv --keyserver ha.pool.sks-keyservers.net --recv-keys D2486D2DD83DB69272AFE98867170598AF249743
RUN echo "deb http://packages.osrfoundation.org/gazebo/ubuntu lsb_release -cs main" > /etc/apt/sources.list.d/gazebo-latest.list
RUN apt-get update && apt-get install -q -y
gazebo5=5.1.0*
curl
&& rm -rf /var/lib/apt/lists/*
EXPOSE 11345 ENV DISPLAY="$DISPLAY" ENV TERM="xterm-256color" ENV QT_X11_NO_MITSHM=1
COPY ./gzserver_entrypoint.sh /
ENTRYPOINT ["/gzserver_entrypoint.sh"] CMD ["gzserver"]
#!/bin/bash set -e
gzserver_entrypoint.sh
source "/usr/share/gazebo/setup.sh" exec "$@"
Content type
Image
Digest
sha256:943cca7e1…
Size
552.6 MB
Last updated
almost 11 years ago
docker pull najjarammar/gzserver