From e7675e1c1fcc528a4a3df3da22dce8173f4dd194 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emmanuel=20Fr=C3=A9con?= Date: Thu, 28 Mar 2024 15:48:06 +0100 Subject: [PATCH] Same change krunvm -> krun --- runner/entrypoint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runner/entrypoint.sh b/runner/entrypoint.sh index 3de6ad2..9360767 100755 --- a/runner/entrypoint.sh +++ b/runner/entrypoint.sh @@ -406,7 +406,7 @@ fi debug "Setting up missing defaults" distro=$(get_env "/etc/os-release" "ID") RUNNER_DISTRO=${RUNNER_DISTRO:-"${distro:-"unknown}"}"} -RUNNER_PREFIX=${RUNNER_PREFIX:-"${RUNNER_DISTRO}-krunvm"} +RUNNER_PREFIX=${RUNNER_PREFIX:-"${RUNNER_DISTRO}-krun"} RUNNER_NAME=${RUNNER_NAME:-"${RUNNER_PREFIX}-$RUNNER_ID"} RUNNER_WORKDIR=${RUNNER_WORKDIR:-"/_work/${RUNNER_NAME}"}