From 1ee2c5a93122264ddb0127bccde6ee164355553e Mon Sep 17 00:00:00 2001 From: Lutz Reinhardt Date: Wed, 25 Feb 2026 14:07:39 +0000 Subject: [PATCH 1/3] Specify exact Dockerfile directories for Dependabot It seems the docker ecosystem does not scan the entire repo recursively but only looks into each given directory. Thus all locations of Dockerfile are given. At the moment dependabot does not update Dockerfiles and this should make it work. --- .github/dependabot.yml | 9 ++++++++- scripts/functions.sh | 2 +- ...erfile-with-proxy-vars => with-proxy-vars.Dockerfile} | 0 3 files changed, 9 insertions(+), 2 deletions(-) rename src/s-core-devcontainer/.devcontainer/{Dockerfile-with-proxy-vars => with-proxy-vars.Dockerfile} (100%) diff --git a/.github/dependabot.yml b/.github/dependabot.yml index 84451bf..8edb7fa 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -20,9 +20,16 @@ updates: interval: daily # Docker base images - package-ecosystem: docker - directory: / + directory: /src/s-core-devcontainer/.devcontainer schedule: interval: daily + groups: + all-in-one: + patterns: + - "*" + update-types: + - "minor" + - "patch" # DevContainer - package-ecosystem: devcontainers directory: / diff --git a/scripts/functions.sh b/scripts/functions.sh index 17a7394..74a0ffb 100755 --- a/scripts/functions.sh +++ b/scripts/functions.sh @@ -20,7 +20,7 @@ set_dockerfile_name() { # Check if proxies are configured in the environment set +u if [ -n "${HTTP_PROXY}${HTTPS_PROXY}${http_proxy}${https_proxy}${NO_PROXY}${no_proxy}" ]; then - DEVCONTAINER_DOCKERFILE_NAME="Dockerfile-with-proxy-vars" + DEVCONTAINER_DOCKERFILE_NAME="with-proxy-vars.Dockerfile" echo "Proxy environment detected." fi set -u diff --git a/src/s-core-devcontainer/.devcontainer/Dockerfile-with-proxy-vars b/src/s-core-devcontainer/.devcontainer/with-proxy-vars.Dockerfile similarity index 100% rename from src/s-core-devcontainer/.devcontainer/Dockerfile-with-proxy-vars rename to src/s-core-devcontainer/.devcontainer/with-proxy-vars.Dockerfile From e5970d78a676f9a55e0e58739d7e5cea0912bb2b Mon Sep 17 00:00:00 2001 From: Lutz Reinhardt Date: Wed, 25 Feb 2026 14:16:20 +0000 Subject: [PATCH 2/3] retrigger CI --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index e51c37f..202db94 100644 --- a/README.md +++ b/README.md @@ -144,6 +144,8 @@ There should rarely be a need to modify this. * `.github/` contains the regular GitHub setup, with code owners and CI. * `resources/` contains a few screenshots. +retrigger CI + ### License and copyright checks This repo uses [`reuse`](https://codeberg.org/fsfe/reuse-tool) to check for and validate licenses and copyrights. From b015bd15e798422fdc25d0ee48cdad603a8a5ee7 Mon Sep 17 00:00:00 2001 From: Lutz Reinhardt Date: Wed, 25 Feb 2026 14:16:30 +0000 Subject: [PATCH 3/3] Revert "retrigger CI" This reverts commit e5970d78a676f9a55e0e58739d7e5cea0912bb2b. --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index 202db94..e51c37f 100644 --- a/README.md +++ b/README.md @@ -144,8 +144,6 @@ There should rarely be a need to modify this. * `.github/` contains the regular GitHub setup, with code owners and CI. * `resources/` contains a few screenshots. -retrigger CI - ### License and copyright checks This repo uses [`reuse`](https://codeberg.org/fsfe/reuse-tool) to check for and validate licenses and copyrights.