Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| summer2024:dockersetup [2025/08/27 10:03] – [Standard image setup] rajit | summer2024:dockersetup [2025/08/27 10:03] (current) – [Creating a container] rajit | ||
|---|---|---|---|
| Line 40: | Line 40: | ||
| There are many ways to start docker containers. A simple setup that we use is to have a shared directory between the container and the host machine where you are running docker, and forward port 7500 from the host machine to the ssh port (22) in the container. The following command will accomplish this. | There are many ways to start docker containers. A simple setup that we use is to have a shared directory between the container and the host machine where you are running docker, and forward port 7500 from the host machine to the ssh port (22) in the container. The following command will accomplish this. | ||
| < | < | ||
| - | $ docker run -d -p 7500:22 -v / | + | $ docker run -d -p 7500:22 -v / |
| </ | </ | ||
| The ''/ | The ''/ | ||