diff options
author | Florian Müllner <fmuellner@gnome.org> | 2023-03-18 04:45:26 +0100 |
---|---|---|
committer | Marge Bot <marge-bot@gnome.org> | 2023-05-16 18:20:42 +0000 |
commit | 241011313a07fc168f3a98eb711776cf511c6408 (patch) | |
tree | ae28e3b17f7faccd5c7acb00caba277d6808260f | |
parent | 36e9db4fb7a18d1e16a8e6d2398ada60a85b9a86 (diff) | |
download | gnome-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-x | tools/toolbox/create-toolbox.sh | 9 |
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 |