Merge pull request #7 from james-stevens/dev

add some push to repo scripts
james-stevens · Jun 22, 2022 · 7b2e468 · 7b2e468
2 parents 515bcc3 + 2ffe1d9
commit 7b2e468
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 0 deletions.
diff --git a/list b/list
@@ -0,0 +1 @@
+epprest
diff --git a/push_to_docker → push_to_docker_com b/push_to_docker → push_to_docker_com
diff --git a/push_to_docker_jrcs_net b/push_to_docker_jrcs_net
@@ -0,0 +1,20 @@
+#! /bin/sh
+
+if test "$1"; then imgs="$*"; else imgs="$(cat list)"; fi
+
+for img in ${imgs}
+do
+	id=$(docker image ls | awk '{ if ($1=="'"${img}"'") print $3 }')
+
+	docker tag ${id} docker.jrcs.net/${img}
+	docker push docker.jrcs.net/${img}
+done
+
+while test "$(docker ps -aq)"
+    do
+        docker rm $(docker ps -aq)
+    done
+while test "$(docker images -f "dangling=true" -q)"
+    do
+        docker rmi $(docker images -f "dangling=true" -q)
+    done