Closed robinkrens closed 2 years ago
Your docker files do not pull the current workspaces from github. Should this not also be added in the dockerfile to ensure that the users have the most current version of the repo?
For developers it is normally better to have the repository outside of the container, binding the directory with -v:
-v Create a bind mount. If you specify, -v /HOST-DIR:/CONTAINER-DIR, Docker
bind mounts /HOST-DIR in the host to /CONTAINER-DIR in the Docker
container.
That way, you can use host dir tooling.
Agreed on the run bash script that it is useful, but since you probably need to edit it, I just put it in the readme.
I noticed that when trying to run standard ros commands the setup.bash file is inaccessible. you're able to make use of ros commands when you use a clean environment and therefore you need to first 'catkin clean' your workspace and 'catkin_make' or 'catkin build' the workspace from within the container. You could add this disclaimer in the README.
Hardware passthrough X11 acceleration untested due to lack of nvidia gpu on current setup @Deakensbubbles can you check this?