Containers and virtual machines - Revision history

Ted: Comment out older top-of-page links

2026-01-26T14:50:04Z

Comment out older top-of-page links

2026-01-26T14:49:14Z

Minor formatting

2026-01-26T14:48:33Z

Cleaning up some older content from cerca 2022

2026-01-20T06:14:11Z

Add section on Devcontainers

2023-07-10T18:03:15Z

^ Dockerfiles: How to save a Docker image as a compressed file

2023-07-07T20:49:44Z

add new section "docker load" for docker load command details

2023-06-29T23:55:09Z

^ SSH connection to Docker container

2023-06-29T17:50:43Z

^ docker container rm: - add excerpt: command to remove all Docker containers

2023-06-29T17:41:53Z

^ docker container rm: - add Digital Ocean tutorial on Docker removal commands

2023-06-29T17:03:57Z

^ Dockerfiles: - How to start Docker image with interactive shell

@@ Line 1: / Line 1: @@
+<!--
 <center>
 [[Containers_and_virtual_machines|Containers]] :: [[RTOS|RTOS Notes]] :: [[Compute_clusters|Clusters]] :: [[Unix_and_Linux_config|Unix and Linux config]]
 </center>
 == [[#top|^]] Container Software ==

@@ Line 8: / Line 8: @@
 A promising starting point, collection of six articles / tutorials on Docker containers:
-  *  https://medium.com/sysf/docker/home
+(1) https://medium.com/sysf/docker/home
 A general note following about three days' Docker container experimentation, and to question "should I be using a Docker container interactively, running multiple apps, some simultaneously?".  <i>(Note the following forum post chain is a quagmire of issues and opinions!)</i>:
-  *  https://news.ycombinator.com/item?id=7950326
+(2) https://news.ycombinator.com/item?id=7950326
 == [[#top|^]] Docker ==

@@ Line 411: / Line 411: @@
 <!-- comment -->
 == - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - ==
 <!-- comment -->
-== [[#top|^]] Kubernetes Container Software ==
+== [[#top|^]] Devcontainers ==
-== - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - ==
+https://code.visualstudio.com/docs/devcontainers/containers
 <!-- comment -->

@@ Line 67: / Line 67: @@
 <ul>
 *  https://www.letscloud.io/community/how-to-launch-a-docker-container-with-an-interactive-shell
 </ul>

← Older revision		Revision as of 20:49, 7 July 2023
Line 206:		Line 206:

	$ docker rm $(docker ps -a -f status=exited \| cut -d " " -f 1)		$ docker rm $(docker ps -a -f status=exited \| cut -d " " -f 1)
		+
		+	<!-- odne komentar -->
		+
		+	=== [[#top\|^]] docker load ===
		+
		+	* https://stackoverflow.com/questions/40582300/how-to-load-a-docker-image-from-a-tar-file
		+
		+	Example invocation of `docker load` command:
		+
		+	$ docker load < image_name.tar
		+
		+	In the above command except 'image_name' is really file basename. The given Docker image may not be named, but rather have only a hash-based identifier.

	<!-- odne komentar -->		<!-- odne komentar -->

@@ Line 222: / Line 222: @@
 ==== [[#top|^]] docker exec [options] [command_in_container] ====
 <pre>
-  docker exec -t -i a42e2e801d60 bash
+   $ docker exec -it [image_id] /bin/bash
 </pre>
 Note this can have unintended consequences given that there's no ssh server running to handle multiple, or additional logins!
 <!-- comment -->

@@ Line 203: / Line 203: @@
 </ul>
-Note also the Docker images are removed using `docker rmi`, while Docker containers are removed via `docker rm`.
+Note also the Docker images are removed using `docker rmi`, while Docker containers are removed via `docker rm`.  The example command to remove all Docker containers with `exited` status is not quite correct.  Needed to filter for the first column of Docker's `ps -a` command in order to provide only Docker containter IDs:
 <!-- odne komentar -->

@@ Line 197: / Line 197: @@
 === [[#top|^]] docker container rm ===
-Incomplete synopsis of `docker container rm` command:
+An excellent tutorial on removing Docker images, containers and volumes, with many examples:
-   $ docker container rm [...], docker image rm [...]
+<ul>
-Delete (remove) a local Docker image . . . first must remove all local containers which use given image:
+Note also the Docker images are removed using `docker rmi`, while Docker containers are removed via `docker rm`.
 <!-- odne komentar -->

@@ Line 61: / Line 61: @@
 <ul>
 *  https://octopus.com/blog/using-ubuntu-docker-image
 </ul>