Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| summer2024:dockersetup [2024/09/08 10:08] – [Creating a container] rajit | summer2024:dockersetup [2025/08/27 10:03] (current) – [Creating a container] rajit | ||
|---|---|---|---|
| Line 30: | Line 30: | ||
| To build an image using the Dockerfile above (saved as Dockerfile in your working directory), run: | To build an image using the Dockerfile above (saved as Dockerfile in your working directory), run: | ||
| < | < | ||
| - | $ docker build -t async - < Dockerfile | + | $ docker build -t cadtools |
| </ | </ | ||
| - | This will use the '' | + | This will use the '' |
| 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 ''/ | ||
| Line 64: | Line 64: | ||
| Note that once the container is setup, you don't need to re-do those steps. You can simply pause the container to stop it, and resume it when you want to re-connect to it via ssh. | Note that once the container is setup, you don't need to re-do those steps. You can simply pause the container to stop it, and resume it when you want to re-connect to it via ssh. | ||
| + | |||
| + | ===== Updating the container with the latest tools ===== | ||
| + | |||
| + | The container is not updated as frequently as the git repositories. To update the tools from within the container, use the following steps, running as '' | ||
| + | < | ||
| + | $ cd / | ||
| + | $ git pull | ||
| + | $ git submodule update --init --recursive | ||
| + | $ export ACT_HOME=/ | ||
| + | $ ./build | ||
| + | </ | ||
| + | |||
| + | The git repository for the [[: | ||