gazebo:gzserver11

RUN /bin/sh -c echo 'Etc/UTC' > /etc/timezone && ln -s /usr/share/zoneinfo/Etc/UTC /etc/localtime && apt-get update && apt-get install -q -y --no-install-recommends tzdata && rm -rf /var/lib/apt/lists/* # buildkit

1.19 MB

RUN /bin/sh -c apt-get update && apt-get install -q -y --no-install-recommends dirmngr gnupg2 && rm -rf /var/lib/apt/lists/* # buildkit

5.36 MB

RUN /bin/sh -c set -eux; key='D2486D2DD83DB69272AFE98867170598AF249743'; export GNUPGHOME="$(mktemp -d)"; gpg --batch --keyserver keyserver.ubuntu.com --recv-keys "$key"; mkdir -p /usr/share/keyrings; gpg --batch --export "$key" > /usr/share/keyrings/pkgs-osrf-archive-keyring.gpg; gpgconf --kill all; rm -rf "$GNUPGHOME" # buildkit

1.45 KB

RUN /bin/sh -c . /etc/os-release && echo "deb [ signed-by=/usr/share/keyrings/pkgs-osrf-archive-keyring.gpg ] http://packages.osrfoundation.org/gazebo/$ID-stable $VERSION_CODENAME main" > /etc/apt/sources.list.d/gazebo-latest.list # buildkit

291 B

RUN /bin/sh -c apt-get update && apt-get install -y --no-install-recommends gazebo11=11.15.1-1* && rm -rf /var/lib/apt/lists/* # buildkit

278.06 MB

EXPOSE map[11345/tcp:{}]

0 B

COPY ./gzserver_entrypoint.sh / # buildkit

188 B

ENTRYPOINT ["/gzserver_entrypoint.sh"]

0 B

CMD ["gzserver"]

0 B