Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| summer2024:dockersetup [2024/09/08 10:08] – [Creating a container] rajit | summer2024:dockersetup [2025/01/23 10:06] (current) – [Creating a container] rajit | ||
|---|---|---|---|
| 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 [[: | ||