Difference between revisions of "Containers and virtual machines"

Latest revision as of 14:50, 26 January 2026

^ Container Software

A promising starting point, collection of six articles / tutorials on Docker containers:

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?". (Note the following forum post chain is a quagmire of issues and opinions!):

(2) https://news.ycombinator.com/item?id=7950326

^ Docker

Notes on Docker containerizing software. Note, to get a practical start it is a good and or needed step to create a user account with Docker dot com. Single user and free accounts with some advanced Docker features disabled are available. A good starting tutorial for beginners is written by one Brian Hogan of Digital Ocean, this article published 2018 July 5. First reference in list here:

Docker cannot connect, blog by Ajeet Raina

- - - top of page - - -

Difference between revisions of "Containers and virtual machines"

Latest revision as of 14:50, 26 January 2026

^ Container Software

^ Docker

Navigation menu

Search

@@ Line 1: / Line 1: @@
+<!--
 <center>
-[[Unix_and_Linux_config|Unix and Linux config]] :: [[Containers_and_virtual_machines|Containers]] :: [[Compute_clusters|Clusters]] :: &lt;link&gt;
+[[Containers_and_virtual_machines|Containers]] :: [[RTOS|RTOS Notes]] :: [[Compute_clusters|Clusters]] :: [[Unix_and_Linux_config|Unix and Linux config]]
 </center>
+-->
 == [[#top|^]] Container Software ==
@@ Line 9: / Line 9: @@
 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 opions!)</i>:
+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 starting point ===
+== [[#top|^]] Docker ==
 Notes on Docker containerizing software.  Note, to get a practical start it is a good and or needed step to create a user account with Docker dot com.  Single user and free accounts with some advanced Docker features disabled are available.  A good starting tutorial for beginners is written by one Brian Hogan of Digital Ocean, this article published 2018 July 5.  First reference in list here:
 <ul>
 *  [https://www.digitalocean.com/community/tutorials/how-to-install-and-use-docker-on-ubuntu-18-04 Docker on Ubuntu 18.04 LTS]
 *  [https://www.digitalocean.com/community/tutorials/how-to-install-and-use-docker-on-ubuntu-20-04 Docker on Ubuntu 20.04 LTS]
 *  https://www.digitalocean.com/community/tutorials/how-to-remove-docker-images-containers-and-volumes  Remove Docker image
+-06-07:
+*  [https://collabnix.com/how-to-fix-cannot-connect-to-the-docker-daemon-at-unix-var-run-docker-sock-error-message/ Docker cannot connect, blog by Ajeet Raina]
 </ul>
-Ted noting too there may be a daily limit to the number of docker images which a user with a free account can push to Docker's image repository.  Docker's image repository provides URLs of the form <code>https://hub.docker.com/u/&lt;user_name&gt;</code>, where username is the given person's Docker account user name.
-=== [[#top|^]] Docker registries and repositories ===
-Nick Janetakis writes a pretty concise brief article to describe what are Docker repositories and Docker registries.  An image repository holds versions (committed and tagged versions) of a given Docker image.  A registry holds zero or more Docker repositories, and is generally a full-fledged always live service that's accessible on the internet or on an intranet.
-*  https://nickjanetakis.com/blog/docker-tip-53-difference-between-a-registry-repository-and-image
-<!-- comment -->
-=== [[#top|^]] specific commands ===
-Start a docker image with access to a particular host directory:
-*  https://stackoverflow.com/questions/55104551/how-to-access-files-in-host-from-a-docker-container
-<ul>
-More on Docker volumes:
-*  https://docs.docker.com/storage/volumes/
-</ul>
-==== [[#top|^]] docker commit ... ====
-<pre>
-</pre>
-==== [[#top|^]] docker push [&lt;optional_remote_registry&gt;/]&lt;image_name&gt;[:&lt;optional_tag&gt;] ====
-Series of <code>docker push</code> invocations for a work-in-progress image.  Note the tag names are optional until one needs push an image that's being amended, such that it is a newer or different version of an existing image on the remote Docker repository:
-<pre>
-  docker push tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc
-  docker push tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc:version-0p2
-  docker push tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc:version-0p3
-  docker push tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc:version-0p4
-  docker push tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc:version-0p5
-</pre>
-And here is a link to an article describing Docker push command syntax:
-*  https://www.educba.com/docker-push/
-We'll note this link also in the [[#references|References]] section of this page.  Takeaway here is that the third token in the above push command examples, the latter four examples, that token has the form "<docker_user_name>/<image_name>:<docker_tag>".
-This article helped get us closer to understanding how Docker CLI parses the argument to a given <code>docker push</code> argument.  Even with this understanding some further trial and error helped clarify what is needed in the form of this argument, which identifies a Docker image to be pushed to a private, non-docker.io registry.  Some excerpts from the command line:
-<pre>
-vmguest@vm-ubuntu-0p2:~$ docker images
-REPOSITORY                                           TAG           IMAGE ID       CREATED        SIZE
-ubuntu-20-04-lts                                     version-0p0   065cf14a189c   8 days ago     135MB
-localhost:5000/my-ubuntu                             latest        065cf14a189c   8 days ago     135MB
-tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc   version-0p8   bf980d48d9ab   8 days ago     2.98GB
-tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc   version-0p2   4110ca98063a   2 weeks ago    309MB
-tedhavelkaad0602/ubuntu-git-plus-arm-none-eabi-gcc   latest        f24e27e3d998   2 weeks ago    245MB
-registry                                             2             1fd8e1b0bb7e   2 months ago   26.2MB
-docker-registry.neelanurseries.com/hello-world       version-0p0   d1165f221234   3 months ago   13.3kB
-vmguest@vm-ubuntu-0p2:~$ docker push ubuntu-20-04-lts:version-0p0 docker-registry.neelanurseries.com/ubuntu-20-04-lts:version-0p0
-"docker push" requires exactly 1 argument.
-See 'docker push --help'.
-Usage:  docker push [OPTIONS] NAME[:TAG]
-Push an image or a repository to a registry
-vmguest@vm-ubuntu-0p2:~$ docker push ubuntu-20-04-lts:version-0p0
-The push refers to repository [docker.io/library/ubuntu-20-04-lts]
-d07b1c131bb8: Preparing
-d2f5dd8f: Preparing
-d694391e96: Preparing
-ed8163532b: Preparing
-denied: requested access to the resource is denied
-vmguest@vm-ubuntu-0p2:~$ docker push docker-registry.neelanurseries.com/ubuntu-20-04-lts:version-0p0
-The push refers to repository [docker-registry.neelanurseries.com/ubuntu-20-04-lts]
-An image does not exist locally with the tag: docker-registry.neelanurseries.com/ubuntu-20-04-lts
-vmguest@vm-ubuntu-0p2:~$ docker tag ubuntu-20-04-lts:version-0p0 docker-registry.neelanurseries.com/ubuntu-20-04-lts:version-0p0
-vmguest@vm-ubuntu-0p2:~$ docker push docker-registry.neelanurseries.com/ubuntu-20-04-lts:version-0p0
-The push refers to repository [docker-registry.neelanurseries.com/ubuntu-20-04-lts]
-d07b1c131bb8: Pushed
-d2f5dd8f: Pushed
-d694391e96: Pushed
-ed8163532b: Pushed
-version-0p0: digest: sha256:114bbce1997fa476da56c3958cb3ca13269a54b0a97dfd3667543c7778287bf2 size: 1150
-</pre>
-<!-- comment -->
-Delete a Docker repository on Docker hub:
-*  https://hub.docker.com/support/doc/how-do-i-delete-a-repository
-==== [[#top|^]] docker container rm [...], docker image rm [...] ====
-Delete (remove) a local Docker image . . . first must remove all local containers which use given image:
-*  https://docs.docker.com/engine/reference/commandline/container_rm/
-*  https://docs.docker.com/engine/reference/commandline/image_rm/
-Commands which worked locally:
-<pre>
-  docker ps -a
-  docker container rm bdc45e3021ad
-  docker ps -a
-  docker container rm 3899ce3b4c5f 85206c6c2565
-  docker ps -a
-  docker container rm e530246d9393 775ef655da0f 51a5967aecf8
-  docker ps -a
-   .
-   .
-   .
-  docker image rm tedhavelkaad0602/ubuntu-04-vim--openssh-server--man-db
-  docker images
-  docker image rm tedhavelkaad0602/ubuntu-nodejs-net-tools
-  docker images
-</pre>
-Secure shell into, or otherwise connect with a running Docker container in and of a Linux environment:
-*  https://stackoverflow.com/questions/30172605/how-do-i-get-into-a-docker-containers-shell
-*  https://docs.docker.com/samples/running_ssh_service/
-*  https://github.com/linuxserver/docker-openssh-server
-*  https://github.com/linuxserver/docker-openssh-server/blob/71d16e9d09cf8b319ccec9bde2e64ed9298a6d95/LICENSE
-A couple examples of running second <code>bash</code> instance of a given Docker container, not a login, but provides second interactive window or interface to a given Docker container:
-==== [[#top|^]] docker exec [options] [command_in_container] ====
-<pre>
-  docker exec -t -i a42e2e801d60 bash
-  docker exec -i -t 51a5967aecf8 bash
-</pre>
-Note this can have unintended consequences given that there's no ssh server running to handle multiple, or additional logins!
-<!-- comment -->
--- Enable USB access in Docker container --
-*  https://stackoverflow.com/questions/24225647/docker-a-way-to-give-access-to-a-host-usb-or-serial-device
-<!-- comment -->
-=== [[#top|^]] Docker volumes ===
-https://www.digitalocean.com/community/tutorials/how-to-share-data-between-docker-containers
-<!-- comment -->
-=== [[#top|^]] Anatomy of a Dockerfile ===
-Ok Ted needs to figure out what are Dockerfiles and how should they be authored and maintained.  One example that's annotated:
-*  https://gist.github.com/adamveld12/4815792fadf119ef41bd
-A link to a Docker based project which comes very close to what we're working on for an embedded development toolchain and environment that's fully tracked, easy to reproduce on demand:
-*  https://dev.to/dalimay28/using-docker-for-embedded-systems-development-b16
-<!-- comment -->
-=== [[#top|^]] Promising Docker images ===
-*  https://hub.docker.com/r/rastasheep/ubuntu-sshd
-<!-- comment -->
-=== [[#top|^]] to access physical devices within container ===
-*  https://forums.unraid.net/topic/47595-how-do-i-pass-through-a-usb-device-to-a-docker-container/
-<!-- comment -->
-=== [[#top|^]] private Docker registries ===
-Notes on how to set up a Docker container registry, a networked server from which Docker images can be accessed and shared:
-*  https://docs.docker.com/registry/deploying/
-*  https://docs.docker.com/registry/deploying/#considerations-for-air-gapped-registries
-Setting up authentication using htaccess files:
-*  https://docs.docker.com/registry/recipes/apache/
-Some requirements for the above link to Docker registry recipe:
-<ul>
-*  https://docs.docker.com/registry/recipes/#requirements
-A brief article on how LetsEncrypt works:
-*  https://letsencrypt.org/how-it-works/
-</ul>
-&nbsp;<br />
-Above tutorials and articles don't paint a clear easy path to setting up a first, basic Docker registry.  Taking up a different path here at DigitalOcean:
-*  https://www.digitalocean.com/community/tutorials/how-to-set-up-a-private-docker-registry-on-ubuntu-18-04
-Regarding port forwarding in apache2 config files:
-<ul>
-*  https://stackoverflow.com/questions/8541182/apache-redirect-to-another-port
-</ul>
-There is some nginx configuration stuff that's not obvious how to port to apache2 config files, but following how-to article gives a clue with "Header set Host ..." and "RequestHeader set X-Forwarded-Proto "https"":
-*  https://medium.com/@rgoyard/setting-up-a-secure-docker-registry-behind-apache-with-portus-and-clair-e6f92d998927
-<!-- comment -->
-==== [[#top|^]] web server configuration ====
-A dedicated virtual machine can easily have one web server configured to act as a reverse proxy in front of a Docker registry.  In this context we mean 'proxy' as in a proxy for the public to reach one's internal, in this case Docker registry server.  But for development purposes where our virtual machine options are not yet easily configured to be accessible on a LAN, we face a need to set up a first private registry on an existing cloud host which has a name and fixed IP.  And there is already a web server config in place there, which we want to leave intact while testing the reverse proxy and other Docker registry pieces.  Hence this section in this notes page.
-<!-- comment -->
-===== [[#top|^]] apache2 plus nginx =====
-This section contains references and notes regarding how to set up apache2 and nginx on one server.
-*  https://stackoverflow.com/questions/23024473/how-can-i-run-both-nginx-and-apache-together-on-ubuntu
-<!-- comment -->
-===== [[#top|^]] to run multiple instances of apache2 =====
-At startpage.com entered search phrase "possible to run apache2 twice with distinct configurations".  First result helpful:
-*  https://cwiki.apache.org/confluence/pages/viewpage.action?pageId=115522518
-==== [[#top|^]] Reverse proxy choices ====
-Excerpt from https://help.sonatype.com/repomanager3/system-configuration/configuring-ssl#ConfiguringSSL-InboundSSL-ConfiguringtoServeContentviaHTTPS:
-<pre>
-Inbound SSL - Configuring to Serve Content via HTTPS
-Available in Nexus Repository OSS and Nexus Repository Pro
-Providing access to the user interface and content via HTTPS is a best practice.
-You have two options:
-Use a separate reverse proxy server in front of the repository manager to manage HTTPS
-Configure the repository manager itself to serve HTTPS directly
-Using A Reverse Proxy Server
-A common approach is to access the repository manager through a dedicated server which answers HTTPS requests on behalf of the repository manager - these servers are called reverse proxies or SSL/TLS terminators. Subsequently requests are forwarded to the repository manager via HTTP and responses received via HTTP are then sent back to the requestor via HTTPS.
-There are a few advantages to using these which can be discussed with your networking team. For example, the repository manager can be upgraded/installed without the need to work with a custom JVM keystore. The reverse proxy could already be in place for other systems in your network. Common reverse proxy choices are Apache httpd, nginx, Eclipse Jetty or even dedicated hardware appliances. All of them can be configured to serve SSL content, and there is a large amount of reference material available online.
-Serving SSL Directly
-The second approach is to use the Eclipse Jetty instance that is distributed with the repository manager to accept HTTPS connections.
-How to Enable...
-</pre>
-==== [[#top|^]] local private registry with only apache2-utils ====
-Following article good, well written!  Describes in clear detail and incrementally how to set up private Docker registry.  Gives references.  Explains need for some kind of web service provision to achieve a remotely accessible private Docker registry.  Key words<b> Gabriel Tanner private Docker registry </b>:
-*  https://gabrieltanner.org/blog/docker-registry
-== [[#top|^]] Docker Features Not Done ==
-Apparently there is no ready facility to list the images in a private Docker registry, one that's running from the official <code>registry:2</code> Docker image.  A forum post includes mentions of two possible home brew scripts to provide such a listing:
-*  https://forums.docker.com/t/docker-private-registry-how-to-list-all-images/21136/7
-The second of the two scripts is hosted at Github.  Need to check the license applied to it, looks like there are recent updates to this project, from about 2021 March:
-*  https://github.com/BradleyA/Search-docker-registry-v2-script.1.0
-<!-- comment -->
-== [[#top|^]] Outline of Docker Team How-To ==
-Sections of document to share with work team:
-<ol>
-<li> End User Use of Docker</li>
-<li> How To Install Docker Client 'docker-ce'</li>
-<li> Basic Interactions with Docker Images</li>
-<ul>
-<li> pull
-<li> run
-<li> stop
-<li> modify
-<li> commit
-<li> tag
-<li> push
-</ul>
-<li> Private Docker Registry Configuration</li>
-</ol>
-<!-- comment -->
-=== - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - ===
-<!-- comment -->
-== [[#top|^]] Kubernetes Container Software ==
-Kubernetes notes <i>2021-06-09 This section a stub section.</i>
-<ul>
-*  https://kubernetes.io/docs/concepts/overview/what-is-kubernetes/
-</ul>
-=== - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - ===
-<!-- comment -->
-== [[#top|^]] Oracle Corporation VirtualBox software ==
-VirtualBox on-line manual
-<ul>
-*  https://www.virtualbox.org/manual/ch01.html#virt-why-useful
-Some important VM terms include,
-<ul>
-*  host OS   . . . the OS on which VirtualBox software runs
-*  guest OS   . . . the OS which runs inside a VirtualBox VM instance
-*  virtual machine   . . . the hosting environment which VirtualBox creates for given guest OS
-</ul>
-NOTE!  An important BIOS feature and setting to permit virtual machines to run at all using VirtualBox &gt;= 6.1.0 is detailed here at forums dot virtualbox dot org, topic equals 62339:
-*  https://forums.virtualbox.org/viewtopic.php?f=1&t=62339
-First set up steps for virtual machine:
-*  https://docs.oracle.com/cd/E26217_01/E26796/html/qs-create-vm.html
-To set up shared folders in VirtualBox instances, see VirtualBox documentation chapter 4 at the first following URL.  There are also some needed steps detailed in same Oracle documentation, chapter 2, second URL here:
-*  https://www.virtualbox.org/manual/ch04.html
-*  https://www.virtualbox.org/manual/ch02.html#externalkernelmodules
-Following screen capture is from Ted's work setting up virtual Ubuntu host.
-<i>Figure 1 - capture of VM Ubuntu guest OS command prompt, with steps to mount VirtualBox CDROM drive:</i>
-<!-- [[File:executing-VBoxLinuxAdditions-dot-run.PNG]] -->
-[[Image:executing-VBoxLinuxAdditions-dot-run.PNG|700px]]
-Interestingly, mounting the device /dev/sr0 within the guest OS provides access to several files which we did not see or explicitly install when installing VirtualBox framework software.  Scripts to set up needed Linux kernel modules are among these files at <code>/media/cdrom</code>.
-To configure port forwarding, for ssh from host OS to guest OS:
-*  https://nsrc.org/workshops/2014/btnog/raw-attachment/wiki/Track2Agenda/ex-virtualbox-portforward-ssh.htm
-Where VirtualBox stores its files . . .
-*  https://docs.oracle.com/en/virtualization/virtualbox/6.0/admin/vboxconfigdata.html
-=== [[#top|^]] To share host OS folder with virtual machine ===
-VirtualBox needs a one-time set up for each host OS folder or directory to be shareable with a given virtual machine.  Once that sharing configuration is completed, a *nix mount command is needed in a login session in the virtual machine.  Example mount commands to make a host OS directory accessible to the given running VM:
-<i>Figure x - share files in one directory between host OS and VM:</i>
-<pre>
-  sudo mount -t vboxsf host_os_downloads /mnt/host_os_downloads/
-</pre>
-<!-- comment -->
-=== [[#top|^]] ssh to VM on remote Windows station ===
-*  https://dev.to/awwsmm/setting-up-an-ubuntu-vm-on-windows-server-2g23
-=== - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - &nbsp; - - - - - ===
-&nbsp;
-<!-- comment -->
-== [[#top|^]] References and Notes ==
-*  https://www.virtualbox.org/wiki/Downloads
-For Ubuntu installs be sure to make /boot large enough, e.g. ~500MB when creating a separate /boot partition:
-*  https://bugs.launchpad.net/ubuntu/+source/initramfs-tools/+bug/1876562
-=== On first use of Docker ===
-<pre>
-Just after installing docker-ce, `sudo systemctl status docker` returns:
-● docker.service - Docker Application Container Engine
-     Loaded: loaded (/lib/systemd/system/docker.service; enabled; vendor preset: enabled)
-     Active: active (running) since Wed 2021-06-16 18:57:15 UTC; 54s ago
-TriggeredBy: ● docker.socket
-       Docs: https://docs.docker.com
-   Main PID: 20113 (dockerd)
-      Tasks: 8
-     Memory: 40.2M
-     CGroup: /system.slice/docker.service
-             └─20113 /usr/bin/dockerd -H fd:// --containerd=/run/containerd/containerd.sock
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.411564912Z" level=warning msg="Your kernel does not support CPU realtime scheduler"
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.411704850Z" level=warning msg="Your kernel does not support cgroup blkio weight"
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.411837721Z" level=warning msg="Your kernel does not support cgroup blkio weight_device"
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.412338475Z" level=info msg="Loading containers: start."
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.573219785Z" level=info msg="Default bridge (docker0) is assigned with an IP address 172.17.0.0/16. Daemon option --bip>
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.675938542Z" level=info msg="Loading containers: done."
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.714086036Z" level=info msg="Docker daemon" commit=b0f5bc3 graphdriver(s)=overlay2 version=20.10.7
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.715744202Z" level=info msg="Daemon has completed initialization"
-Jun 16 18:57:15 ubuntu-vm systemd[1]: Started Docker Application Container Engine.
-Jun 16 18:57:15 ubuntu-vm dockerd[20113]: time="2021-06-16T18:57:15.837838160Z" level=info msg="API listen on /run/docker.sock"
-Ted noting this due to the three warnings regarding "kernel does not support x...".
-</pre>
-=== [[#top|^]] Git client config in VM and Docker container ===
-For firmware dev work whether in virtual machines and or Docker containers, we need access to remote git repositories.  SSL keys are necessary for this access.  Here are some beginning notes to explain setting up such keys within each environment:
-<pre>
-  ssh-keygen -t ed25519   <-- generate elliptic type key
-  cd .ssh
-  ls -l
-  cat id_ed25519.pub      <-- dump public key to terminal to copy
-  which ssh-agent         <-- check that `ssh-agent` is installed and in local $PATH variable
-  ps ax | grep ssh-agent  <-- check whether ssh-agent is presently running
-  eval `ssh-agent -s`     <-- start ssh-agent running when not found running
-  ps ax | grep ssh-agent  <-- confirm running in background as a daemon
-  ssh-add ./id_ed25519    <-- add the private key of the public + private key pair created above
-</pre>
-GNU Arm Toolchain refs:
-*  https://developer.arm.com/tools-and-software/open-source-software/developer-tools/gnu-toolchain/gnu-rm
-*  https://developer.arm.com/tools-and-software/open-source-software/developer-tools/gnu-toolchain/gnu-rm/downloads
-<pre>
-    gcc-arm-none-eabi-10-2020-q4-major-x86_64-linux.tar.bz2
-    Linux x86_64 Tarball
-    MD5: 8312c4c91799885f222f663fc81f9a31
-    gcc-arm-none-eabi-10-2020-q4-major-src.tar.bz2
-    Source Tarball
-    MD5: 0cc79529934703e16ec25a8915028897
-</pre>
-=== [[#top|^]] Docker set up tangential topics, references to sort ===
-On WSL...
-*  http://armofthings.com/2020/04/15/wsl-for-embedded-system-development/
-*  https://help.dreamhost.com/hc/en-us/articles/215747748-How-can-I-redirect-and-rewrite-my-URLs-with-an-htaccess-file-
-Docker <code>rmi</code> command to remove one or more but not last Docker tag associated with a given image:
-*  https://serverfault.com/questions/703344/how-to-remove-an-image-tag-in-docker-without-removing-the-image-itself
-=== [[#top|^]] Private docker registration configuration topics ===
-References related to first steps to bring up nginx web server:
-*  https://www.digitalocean.com/community/tutorials/apache-network-error-ah00072-make_sock-could-not-bind-to-address
-*  https://www.nginx.com/resources/wiki/start/topics/examples/full/
-To bring up nginx is actually a part of effort to configure and bring up private Docker registry.  Here is a CA related article which helps explain the TLS certificate part of this work:
-*  https://www.digicert.com/difference-between-dv-ov-and-ev-ssl-certificates
-*  https://serverfault.com/questions/391457/how-does-apache-merge-multiple-matching-location-sections
-*  https://docs.docker.com/network/links/
--06-25 Friday...
-Docker push syntax explained further than on Docker main site documentation pages:
-*  https://www.educba.com/docker-push/
-Unable to stop a running container, one which appears to have started running automatically in Ubuntu VM host.  Searched startpage.com with 'runc did not terminate sucessfully:', found discussion of AppArmor aa-remove-unknown command:
-*  https://javahowtos.com/guides/124-docker/414-solved-cannot-kill-docker-container-permission-denied.html
-<!-- comment -->
 <center>
 - - - [[#top|top of page]] - - -
 </center>