Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
summer2024:dockersetup [2024/09/08 10:08] – [Creating a container] rajitsummer2024: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:
 <code> <code>
-$ docker build -t async - < Dockerfile+$ docker build -t cadtools - < Dockerfile
 </code> </code>
  
-This will use the ''Dockerfile'' to build an image named ''async''.+This will use the ''Dockerfile'' to build an image named ''cadtools''.
  
  
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.
 <code> <code>
-$ docker run -d -p 7500:22 -v /path/to/directory:/share async+$ docker run -d -p 7500:22 -v /path/to/directory:/share cadtools
 </code> </code>
 The ''/share'' directory in the container will correspond to the specified path on the host.  The ''/share'' directory in the container will correspond to the specified path on the host. 
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 ''root'':
 +<code>
 +$ cd /home/cad/actflow
 +$ git pull
 +$ git submodule update --init --recursive
 +$ export ACT_HOME=/usr/local/cad
 +$ ./build
 +</code>
 +
 +The git repository for the [[:install_actflow|actflow]] repository is checked out in ''/home/cad/actflow''. The steps outlined above pull the latest code and build and install the tools into ''/usr/local/cad'' (the default location in the container).