Skip to content

Instantly share code, notes, and snippets.

@njanirudh

njanirudh/ROS-DOCKER.md

Last active May 27, 2020 19:45
Show Gist options
  • Save njanirudh/d669ea0155a644d773b622c7b33bbdfc to your computer and use it in GitHub Desktop.
Save njanirudh/d669ea0155a644d773b622c7b33bbdfc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ROS-DOCKER.md

Docker ROS

Docker basic ROS commands

docker run -it ros
docker ps -l
docker image ls
docker exec -it nostalgic_morse bash
source /opt/ros//setup.bash
docker container prune
docker image rm

Copy fIle from host to docker

sudo docker cp /home/(name)/(folder_name)/(file_name) (container_id):/(to_the_place_you_want_the_file_to_be)

Eg. sudo docker cp /home/anirudh/NJ/Fraunhofer/collada_urdf/ :/home/

Copy file from docker container to host

sudo docker cp :/file/path/within/container /host/path/target

Folder/File change permissions

Chmod -R +777 <file/folder>

sudo docker run --gpus all -it --net=host --env="DISPLAY" --volume="$HOME/.Xauthority:/root/.Xauthority:rw" c0e9f25fc5ac xhost local:root

References

http://wiki.ros.org/docker/Tutorials/Docker
https://stackoverflow.com/questions/22907231/copying-files-from-host-to-docker-container
http://wiki.ros.org/catkin/Tutorials/create_a_workspace
osrf/docker_images#21
openai/gym#509

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment