Florian Müllner
|
0de5209cf1
|
extensions-tool: Add bash completion
Completions are clearly helpful, in particular for extension UUIDs
that are often lengthy strings containing random usernames.
https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
|
2019-08-21 18:28:02 +02:00 |
|