From b0a733369eb9eb70e3c970de5607d0c63fbf396c Mon Sep 17 00:00:00 2001 From: Kevin Veen-Birkenbach Date: Wed, 17 Dec 2025 10:51:56 +0100 Subject: [PATCH] Optimized output for debugging --- scripts/docker/entry.sh | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/scripts/docker/entry.sh b/scripts/docker/entry.sh index dc37208..62704ec 100755 --- a/scripts/docker/entry.sh +++ b/scripts/docker/entry.sh @@ -1,7 +1,7 @@ #!/usr/bin/env bash set -euo pipefail -echo "[docker] Starting package-manager container" +echo "[docker-pkgmgr] Starting package-manager container" # --------------------------------------------------------------------------- # Log distribution info @@ -9,19 +9,19 @@ echo "[docker] Starting package-manager container" if [[ -f /etc/os-release ]]; then # shellcheck disable=SC1091 . /etc/os-release - echo "[docker] Detected distro: ${ID:-unknown} (like: ${ID_LIKE:-})" + echo "[docker-pkgmgr] Detected distro: ${ID:-unknown} (like: ${ID_LIKE:-})" fi # Always use /src (mounted from host) as working directory -echo "[docker] Using /src as working directory" +echo "[docker-pkgmgr] Using /src as working directory" cd /src # --------------------------------------------------------------------------- # DEV mode: rebuild package-manager from the mounted /src tree # --------------------------------------------------------------------------- if [[ "${REINSTALL_PKGMGR:-0}" == "1" ]]; then - echo "[docker] DEV mode enabled (REINSTALL_PKGMGR=1)" - echo "[docker] Rebuilding package-manager from /src via scripts/installation/package.sh..." + echo "[docker-pkgmgr] DEV mode enabled (REINSTALL_PKGMGR=1)" + echo "[docker-pkgmgr] Rebuilding package-manager from /src via scripts/installation/package.sh..." bash scripts/installation/package.sh || exit 1 fi @@ -29,9 +29,9 @@ fi # Hand off to pkgmgr or arbitrary command # --------------------------------------------------------------------------- if [[ $# -eq 0 ]]; then - echo "[docker] No arguments provided. Showing pkgmgr help..." + echo "[docker-pkgmgr] No arguments provided. Showing pkgmgr help..." exec pkgmgr --help else - echo "[docker] Executing command: $*" + echo "[docker-pkgmgr] Executing command: $*" exec "$@" fi