Florian Müllner 369e400e32 extensions-tool: Show Philip some info ...

Add a 'show' alias for the previously added 'info' command
because it makes sense:

https://twitter.com/pwithnall/status/1036895943004762112

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234

2019-08-21 18:28:02 +02:00

..

bash

extensions-tool: Show Philip some info

2019-08-21 18:28:02 +02:00