Sign inSign up

najjarammar/gzserver

By najjarammar

•Updated about 11 years ago

Image
0

917

najjarammar/gzserver repository overview

⁠This is an auto generated Dockerfile for gazebo:gzserver5

FROM ubuntu:14.04 MAINTAINER Ammar Najjar [email protected]⁠

⁠setup keys

RUN apt-key adv --keyserver ha.pool.sks-keyservers.net --recv-keys D2486D2DD83DB69272AFE98867170598AF249743

⁠setup sources.list

RUN echo "deb http://packages.osrfoundation.org/gazebo/ubuntu⁠ lsb_release -cs main" > /etc/apt/sources.list.d/gazebo-latest.list

⁠install gazebo packages

RUN apt-get update && apt-get install -q -y
gazebo5=5.1.0*
curl
&& rm -rf /var/lib/apt/lists/*

⁠setup environment

EXPOSE 11345 ENV DISPLAY="$DISPLAY" ENV TERM="xterm-256color" ENV QT_X11_NO_MITSHM=1

⁠setup entrypoint

COPY ./gzserver_entrypoint.sh /

ENTRYPOINT ["/gzserver_entrypoint.sh"] CMD ["gzserver"]

#!/bin/bash set -e

gzserver_entrypoint.sh

⁠setup gazebo environment

source "/usr/share/gazebo/setup.sh" exec "$@"

Tag summary

Content type

Image

Digest

sha256:943cca7e1…

Size

552.6 MB

Last updated

about 11 years ago

docker pull najjarammar/gzserver