From 241011313a07fc168f3a98eb711776cf511c6408 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Sat, 18 Mar 2023 04:45:26 +0100 Subject: [PATCH] tools/create-toolbox: Allow skipping mutter build The container is useless for building or running gnome-shell unless it includes the correct mutter version, so building it by default makes sense. However a manual build can be significantly faster when there's an existing build dir, so add an option to skip the automatic build. Part-of: --- tools/toolbox/create-toolbox.sh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tools/toolbox/create-toolbox.sh b/tools/toolbox/create-toolbox.sh index d7ea27b9c..9f9eee070 100755 --- a/tools/toolbox/create-toolbox.sh +++ b/tools/toolbox/create-toolbox.sh @@ -18,6 +18,7 @@ usage() { -v, --version=VERSION Create container for stable version VERSION (like 44) instead of the main branch -r, --replace Replace an existing container + --skip-mutter Do not build mutter -h, --help Display this help EOF @@ -38,6 +39,7 @@ TEMP=$(getopt \ --longoptions 'name:' \ --longoptions 'version:' \ --longoptions 'replace' \ + --longoptions 'skip-mutter' \ --longoptions 'help' \ -- "$@") @@ -63,6 +65,11 @@ while true; do shift ;; + --skip-mutter) + SKIP_MUTTER=1 + shift + ;; + -h|--help) usage exit 0 @@ -86,4 +93,4 @@ fi podman pull $TOOLBOX_IMAGE:$TAG toolbox create --image $TOOLBOX_IMAGE:$TAG $NAME -toolbox_run update-mutter +[[ $SKIP_MUTTER ]] || toolbox_run update-mutter