Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| summer2024:dockersetup [2025/08/27 10:03] – [Creating a container] rajit | summer2024:dockersetup [2026/01/30 12:03] (current) – [Docker image and container setup] rajit |
|---|
| ====== Docker image and container setup ====== | ====== Docker image and container setup ====== |
| |
| We have provided a [[https://www.docker.com/|Docker]] image that has all the tools we will be using pre-installed. If you are unfamilar with Docker/containers, there are many online tutorials available (e.g. [[https://www.geeksforgeeks.org/introduction-to-docker/|here]]). Essentially Docker provides a lightweight "virtual" environment, permitting you to run different architectures/operating systems and libraries/platform environments on a machine. You will need to [[https://www.docker.com/get-started/|install Docker]] on your system. | We have provided a [[https://www.docker.com/|Docker]] image that has all the standard tools we use pre-installed. If you are unfamilar with Docker/containers, there are many online tutorials available (e.g. [[https://www.geeksforgeeks.org/introduction-to-docker/|here]]). Essentially Docker provides a lightweight "virtual" environment, permitting you to run different architectures/operating systems and libraries/platform environments on a machine. You will need to [[https://www.docker.com/get-started/|install Docker]] on your system. |
| |
| ===== Standard image setup ===== | ===== Standard image setup ===== |