summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Müllner <fmuellner@gnome.org>2023-03-18 04:45:26 +0100
committerMarge Bot <marge-bot@gnome.org>2023-05-16 18:20:42 +0000
commit241011313a07fc168f3a98eb711776cf511c6408 (patch)
treeae28e3b17f7faccd5c7acb00caba277d6808260f
parent36e9db4fb7a18d1e16a8e6d2398ada60a85b9a86 (diff)
downloadgnome-shell-241011313a07fc168f3a98eb711776cf511c6408.tar.gz
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: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2713>
-rwxr-xr-xtools/toolbox/create-toolbox.sh9
1 files changed, 8 insertions, 1 deletions
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