Florian Müllner b739375bbd tools/toolbox: Set up first toolbox as default ...

Setting up more than one gnome-shell toolbox is uncommon, and users
shouldn't have to specify --set-default for other tools to pick the
right default.

It would be possible to detect the number of containers that were
created from the shell toolbox image, but the far easier option is
to just set up the first container as default.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2935>

2023-12-01 15:58:21 +00:00

..

build

*: Fix spelling mistakes found by codespell

2020-08-21 18:25:09 +00:00

toolbox

tools/toolbox: Set up first toolbox as default

2023-12-01 15:58:21 +00:00