Skip to content

Instantly share code, notes, and snippets.

@tstellanova
Last active August 26, 2019 21:53
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tstellanova/739f1384d137127ee9babea7f6591c10 to your computer and use it in GitHub Desktop.
Save tstellanova/739f1384d137127ee9babea7f6591c10 to your computer and use it in GitHub Desktop.
Setup gazebo gzserver on arm64 / armv8
  • Install docker
  • Note that the gzserver listens on port 11345 by default.
  • Install the gzserver image and built into a customized image:
docker pull gazebo:gzserver9
mkdir gaztest
cd gaztest
cat <<-EOF > Dockerfile
FROM gazebo:gzserver9
# Some generic gzserver setup -- ymmv
CMD [ "gzserver", "--verbose --seed 666777888" ]
EOF
docker build -t gazebo-runner .
  • Then you can run gzserver eg:
docker run -it -p 11345:11345 -p 11345:11345/udp --rm -v="/tmp/.gazebo/:/root/.gazebo/" --name running-gzseer gazebo-runner
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment