Skip to content

Commit

Permalink
Merge pull request #80 from UoMResearchIT/fix-tabs
Browse files Browse the repository at this point in the history
fixes tab groups
  • Loading branch information
fherreazcue authored Nov 18, 2024
2 parents 1be57f5 + c0f3853 commit 94439ed
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions episodes/docker-desktop.Rmd
Original file line number Diff line number Diff line change
Expand Up @@ -404,6 +404,7 @@ We *can* get the old container running again, although this is rarely something

In Docker Desktop, all we need to do is click on the `Start` button from the `Containers` list.
The terminal will appear empty, because it is a new session, but you will be able to see the changes we made before.

::: tab

### Step 1
Expand Down Expand Up @@ -447,6 +448,7 @@ If we look at the container list, it is much easier to find it, so the name is u
However, we forgot to map the port.
So lets stop this container, and launch another one.
This time we'll map the port, and use the name we wanted.

::: tab

### Step 1
Expand Down Expand Up @@ -524,6 +526,7 @@ Particularly so because we were a bit sloppy and did not name the containers.
Let's try and get rid of the containers then.
We can conveniently select them all with the tick-box at the top, and an option to `Delete` shows up.
Clicking on it will prompt for confirmation, and we can go ahead and accept.

::: tab

### Step 1
Expand All @@ -549,6 +552,7 @@ You can filter the containers before you select them "all".
On the up-side, the `Images` tab shows the `hello-world` image as `Unused` now.
For docker, an image is `In use` as long as at least one container has been created from it.
Since we have no containers from that image, Docker now knows the images can be safely deleted.

::: tab

### Step 1
Expand Down

0 comments on commit 94439ed

Please sign in to comment.