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