Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| summer2024:dockersetup [2024/06/30 12:47] – [Standard image setup] rajit | summer2024:dockersetup [2025/01/23 10:06] (current) – [Creating a container] rajit | ||
|---|---|---|---|
| Line 61: | Line 61: | ||
| </ | </ | ||
| - | Now the local port 8500 on the host will correspond to the VNC port. You can now connect to port 8500 on your local machine using a VNC client to get a graphical desktop that is running on the container. | + | Now the local port 8500 on the host will correspond to the VNC port 5901 in the container. You can now connect to port 8500 on your local machine using a VNC client to get a graphical desktop that is running on the container. If the vnc server in the container has a different display number (e.g. :3 instead of :1), then 8500 should be forwarded to a different port number (e.g. 5903 for display :3, rather than 5901 for display :1). |
| 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 [[: | ||