gazebo:gzserver10

/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/*

841.64 KB

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

14.7 MB

/bin/sh -c apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys D2486D2DD83DB69272AFE98867170598AF249743

1.44 KB

/bin/sh -c . /etc/os-release && echo "deb http://packages.osrfoundation.org/gazebo/$ID-stable `lsb_release -sc` main" > /etc/apt/sources.list.d/gazebo-latest.list

5.46 KB

/bin/sh -c apt-get update && apt-get install -y --no-install-recommends gazebo10=10.2.0-1* && rm -rf /var/lib/apt/lists/*

226.27 MB

EXPOSE 11345

0 B

COPY file:b79966dec12c55a0a5c9e673326cc3faf9cbbeee0ea5f172e863df237eb8a601 in /

188 B

ENTRYPOINT ["/gzserver_entrypoint.sh"]

0 B

CMD ["gzserver"]

0 B