Linux

Change key Super that launches dash in Ubuntu First, disable the "Cmd" button, which likely corresponds to the Super (also known as Windows) key on other systems. This can be achieved with the gsettings terminal command:

How To Install Webmin on Debian 10 Installing Webmin sudo nano /etc/apt/sources.list Then add this line to the bottom of the file to add the new repository: deb...

There's lots of info on the net on achieving that, but I found it a bit too scattered, and had to combine instructions from...