-
Steven Lange authored
Added the .gitignore file, to prevent git from pushing build/ and devel/ from catkin-ws. Added some information for using docker.
d1e8c3e8
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
info_docker.info 580 B
Docker
= How to share a folder? =
Unter Windows ein neues Image laden:
(winpty) docker run -it -v /to/map/path:/target/path/in/container --name {CONTAINER_NAME} {IMAGE_NAME}
Falls der Container bereits existiert:
(winpty) docker start -ia -v /to/map/path:/target/path/in/container {CONTAINER_NAME / CONTAINER_ID}
Beachtet: Docker braucht in seinen Settings Zugriff auf die Festplatte/Partition, auf/in der sich der zu mappende Ordner befindet.
Falls die Konsole nicht direkt tty-fähig ist, kann der Befehl "winpty" Abhilfe schaffen (getest mit der "Git Bash for Windows")