From 428c36c24ef01a74a242c84998037d7a342c5b08 Mon Sep 17 00:00:00 2001 From: Diego Pino Garcia Date: Mon, 30 Sep 2024 10:20:56 +0200 Subject: [PATCH] Follow-up d347129 --- .github/workflows/wkdev-sdk.yml | 12 ++++-------- scripts/host-only/wkdev-create | 4 ++++ 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/wkdev-sdk.yml b/.github/workflows/wkdev-sdk.yml index 6a02fef..250b4b9 100644 --- a/.github/workflows/wkdev-sdk.yml +++ b/.github/workflows/wkdev-sdk.yml @@ -41,15 +41,11 @@ jobs: - name: Test image run: | - CONTAINER="wkdev-$(date +%s)" source ./register-sdk-on-host.sh - wkdev-create --create-home --home ${HOME}/${CONTAINER}-home --verbose --attach --no-pull --name ${CONTAINER} - wkdev-enter -n ${CONTAINER} --exec -- git clone --depth=1 https://github.com/WebKit/WebKit.git - wkdev-enter -n ${CONTAINER} --exec -- ./WebKit/Tools/Scripts/build-webkit --wpe --release --generate-project-only - wkdev-enter -n ${CONTAINER} --exec -- ./WebKit/Tools/Scripts/build-webkit --gtk --release --generate-project-only - podman stop ${CONTAINER} || true - podman rm ${CONTAINER} || true - rm -rf ${HOME}/${CONTAINER}-home + wkdev-create --create-home --verbose --attach --no-pull --rm + wkdev-enter --exec -- git clone --depth=1 https://github.com/WebKit/WebKit.git + wkdev-enter --exec -- ./WebKit/Tools/Scripts/build-webkit --wpe --release --generate-project-only + wkdev-enter --exec -- ./WebKit/Tools/Scripts/build-webkit --gtk --release --generate-project-only deploy: runs-on: self-hosted diff --git a/scripts/host-only/wkdev-create b/scripts/host-only/wkdev-create index f1bcb7d..59d2208 100755 --- a/scripts/host-only/wkdev-create +++ b/scripts/host-only/wkdev-create @@ -85,6 +85,10 @@ process_command_line_arguments() { host_hostname="$(hostnamectl hostname)" container_hostname="$(basename "${container_name}").${host_hostname}" + if argsparse_is_option_set "create-home" && -d "${container_user_home}"; then + rm -rf "${container_user_home}" + fi + # Verify the container home directory is accessible. if [ ! -d "${container_user_home}" ]; then if ! argsparse_is_option_set "create-home"; then