|
|
[Docker Commands]
|
|
|
Create image and mount all necessary resources: `sudo docker create -v /dev:/dev --privileged --network host --name cpu -v /home/botuser/docker/cpu:/app/catkin_ws -it docker.uibk.ac.at:443/informatik/stair/minibot` |
|
|
\ No newline at end of file |
|
|
If you want an from the host system editable and persistant container (eg. to mount by sshfs) a workaround is needed.
|
|
|
The idea is to at first copy the data from a dummy (but same image) container to a directory on the host system and then mount this directory on the actual used container.
|
|
|
Note that with this routine a new container still mounts this outdated and ggf. edited data.
|
|
|
|
|
|
It should be noted that using docker volumes might also a suitable solution, however, there arrive some root access problems.
|
|
|
|
|
|
copy:
|
|
|
sudo docker create -v /dev:/dev --privileged --network host --name delete_me docker.uibk.ac.at:443/informatik/stair/minibot:latest && sudo docker cp delete_me:/app/catkin_ws/src/ /home/botuser/docker/cpu; sudo docker rm delete_me; sudo chown -R botuser:botuser /home/botuser/docker/cpu
|
|
|
|
|
|
Create image and mount all necessary resources: `sudo docker create -v /dev:/dev --privileged --network host --name cpu -v /home/botuser/docker/cpu:/app/catkin_ws/src -it docker.uibk.ac.at:443/informatik/stair/minibot` |
|
|
\ No newline at end of file |