Differences

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

--- devops_stuff [2026/09/18 08:43] – mike
+++ devops_stuff [2026/09/20 09:51] (current) – mike
@@ Line 3: / Line 3: @@
 ==== Getting Started with Git ====
-  For now, this section assumes that the platform in use is Linux,
+For now, this section assumes that the platform in use is Linux,\\
-  and that the Git repository hosting platform in use is Gitea.
+and that the Git repository hosting platform in use is Gitea.
 === Install git ===
@@ Line 25: / Line 25: @@
   git push -u origin main
-==== Building a container and pushing to a container registry ====
+==== Building an image and pushing to a container registry ====
 Ensure a login to the appropriate registry is enabled, especially for private repos:
   docker login [registry fqdn] (ex: www.github.com)
-Build and push the container:
+Build and push the image:
-  cd [container directory]
+  cd [image directory]
-  docker build -t [registry fqdn]/[username]/[container_name]:[tag]
+  docker build -t [registry fqdn]/[username]/[image_name]:[tag]
-    Example: docker build -t www.github.com/fred/awesome_container:v1.0.0 .
+    Example: docker build -t www.github.com/fred/awesome_image:v1.0.0 .
-  docker push [registry fqdn]/[username]/[container_name]:[tag]
+  docker push [registry fqdn]/[username]/[image_name]:[tag]
-    Example: docker push www.github.com/fred/awesome_container:v1.0.0
+    Example: docker push www.github.com/fred/awesome_image:v1.0.0