diff options
author | Florian Müllner <fmuellner@gnome.org> | 2023-03-18 04:45:26 +0100 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2023-05-10 21:34:13 +0200 |
commit | bc8d5f430ccfbdd88231d335af4aa7fd619499f8 (patch) | |
tree | 897b222d17cddcb3bc02840a26d4301f514e5773 | |
parent | 86919bd9dbba195fd0cf865e8f22307c2c67cff5 (diff) | |
download | gnome-shell-bc8d5f430ccfbdd88231d335af4aa7fd619499f8.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.
-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 |