[geany/infrastructure] 6362b2: Add option to force rebuilding images
Enrico Tröger
git-noreply at xxxxx
Sun Mar 6 18:00:46 UTC 2022
Branch: refs/heads/add_ci_builders
Author: Enrico Tröger <enrico.troeger at uvena.de>
Committer: Enrico Tröger <enrico.troeger at uvena.de>
Date: Sun, 06 Mar 2022 18:00:46 UTC
Commit: 6362b27ae6ae7ae951262ae4d8a7bfb84e9a44bd
https://github.com/geany/infrastructure/commit/6362b27ae6ae7ae951262ae4d8a7bfb84e9a44bd
Log Message:
-----------
Add option to force rebuilding images
Modified Paths:
--------------
builders/README.md
builders/start_build.sh
Modified: builders/README.md
1 lines changed, 1 insertions(+), 0 deletions(-)
===================================================================
@@ -55,6 +55,7 @@ the builds of Geany and Geany-Plugins for the various targets.
[-r|--rebuild-images]
-d, --distro DISTRO Build for target Debian DISTRO (e.g. "bullseye",
can be specified multiple times
+ -f, --force-rebuild Force rebuilding of immages even if not necessary
-g, --geany Build Geany
--geany-source Path to a Geany source directory (optional, cloned from GIT if missing)
--geany-plugins-source Path to a Geany-Plugins source directory (optional, cloned from GIT if missing)
Modified: builders/start_build.sh
8 lines changed, 7 insertions(+), 1 deletions(-)
===================================================================
@@ -13,6 +13,7 @@
# [-r|--rebuild-images]
# -d, --distro DISTRO Build for target Debian DISTRO (e.g. "bullseye",
# can be specified multiple times
+# -f, --force-rebuild Force rebuilding of immages even if not necessary
# -g, --geany Build Geany
# --geany-source Path to a Geany source directory (optional, cloned from GIT if missing)
# --geany-plugins-source Path to a Geany-Plugins source directory (optional, cloned from GIT if missing)
@@ -63,7 +64,7 @@ rebuild_image() {
image_date=$(echo "${image_date}" | xargs) # trim leading and trailing whitespace
image_date_seconds=$(date --date="${image_date}" "+%s")
expire_date_seconds=$(date --date="${DOCKER_IMAGE_MAX_AGE_DAYS} days ago" "+%s")
- if [ "${image_date_seconds}" -lt "${expire_date_seconds}" ] || [ -n "${DO_IMAGE_REBUILD}" ]; then
+ if [ "${image_date_seconds}" -lt "${expire_date_seconds}" ] || [ -n "${DO_FORCE_IMAGE_REBUILD}" ]; then
log - "Building image ${image_name} (last build: ${image_date})"
log "${BASE_OUTPUT_DIRECTORY}/docker_image_build_${image_name}_$(date '+%Y_%m_%d_%H_%M_%S').log" \
${DOCKER_CMD} build \
@@ -219,6 +220,10 @@ parse_command_line_options() {
shift
shift
;;
+ -f|--force-rebuild)
+ DO_FORCE_IMAGE_REBUILD=1
+ shift
+ ;;
-g|--geany)
DO_GEANY=1
shift
@@ -264,6 +269,7 @@ parse_command_line_options() {
DO_DISTRO=
DO_MINGW64=
DO_IMAGE_REBUILD=
+DO_FORCE_IMAGE_REBUILD=
DO_GEANY=
DO_GEANY_PLUGINS=
DO_LOG_TO_STDOUT=
--------------
This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).
More information about the Commits
mailing list