Florian Müllner 5998036dc2 tools/toolbox: Allow to set new toolbox as default for other tools ...

When specified, write out a small config file that can be sourced
by other scripts to pick the default toolbox container.

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: Allow to set new toolbox as default for other tools

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