15 Commits

Author	SHA1	Message	Date
Bernhard Ehlers	67c7b12cb1	Docker build tool renamed to docker_make ... The build tool behaves more like make, it builds only the changed images.	2023-12-15 19:51:41 +01:00
Bernhard Ehlers	8b2250b289	Docker build: Simplify definition of DOCKER_REPOSITORY	2023-10-26 21:37:01 +02:00
Bernhard Ehlers	32538f7d1f	Docker build: Include time of pull request to calculation of change time	2023-09-30 14:04:19 +02:00
Bernhard Ehlers	59e1b1787c	Docker build: Retry on communication errors	2023-08-11 09:29:26 +02:00
Bernhard Ehlers	6cf40f983e	Docker build: speed up getting information of images	2023-08-08 12:49:06 +02:00
Bernhard Ehlers	9c584935a7	Build system: Fix bad indent in commit 65d01f8	2023-08-08 12:00:52 +02:00
Bernhard Ehlers	65d01f8bae	Build system: Treat untagged and tagged :latest images as the same	2023-08-08 11:08:38 +02:00
Bernhard Ehlers	19a47ab63d	Docker build: Cleanup on image rebuilds	2023-06-24 18:05:06 +02:00
Bernhard Ehlers	c47148cfd8	Docker build: Rebuild all repositories when name-only target changes	2023-06-15 03:35:04 +02:00
Bernhard Ehlers	fcb790ebcd	Docker build: Support building and uploading to multiple registries	2023-06-12 15:21:45 +02:00
Bernhard Ehlers	3a5d352f1c	Docker build: Support logins to multiple registries	2023-06-06 11:12:10 +02:00
Bernhard Ehlers	2b44d68d9e	Replace DOCKER_ACCOUNT with DOCKER_REPOSITORY and DOCKER_USERNAME	2023-05-29 18:21:24 +02:00
grossmj	da2d2d49d5	Handle if environment variable DOCKER_ACCOUNT is undefined	2023-05-29 19:32:57 +08:00
grossmj	72c91376f3	Force DOCKER_ACCOUNT to be lower case	2023-05-29 17:55:13 +08:00
Bernhard Ehlers	c80dd65dfc	Docker Build System ... Docker images are rebuilt, when the base image or the build context has changed.	2023-05-27 17:12:05 +02:00