I think we as Germans still cannot really appreciate the effect he had on our country. I also think the war against Ukraine would not have happened if he had been in charge for a few more years, but we will never know.
Rest in peace Gorbi!
Month: August 2022
Installing Webmin on Ubuntu 22.04 server
As a follow up to my notes on installing Webmin on Ubuntu 16.04 and 18.04 (on 20.04 it worked as in 18.04) now two additional steps are necessary for Ubuntu 22.04. Those steps must be executed as root:
- Convert Webmin’s PGP key to a format that apt can use to verify files:
cat jcameron-key.asc | gpg --dearmor -o /usr/share/keyrings/webmin.gpg
- Add that key to the entry in webmin.list like this:
deb [signed-by=/usr/share/keyrings/webmin.gpg] https://download.webmin.com/download/repository sarge contrib
I got that from a tutorial by DigitalOcean.
Where did Microsoft move the underline menu shortcut option?
So I don’t forget:
Microsoft seems to love changing the place where they hide useful configuration options. One that I always turn on is “Underline access keys when available” and in Windows 10 it is now in “Keyboard” -> “Change how keyboard shortcuts work” which is about half way down the page just where it won’t be visible without scrolling.
Setting colors for Linux ls command
Those people who selected the default colors for the Linux ls command must have much better eyes than I. E.g. I think that dark blue text on black background is very difficult to read, but apparently they think it is fine.
Fortunately it is easy to change these colors by setting the LS_COLORS environment variable. To make that change permanent, I put it into my .bashrc file like this:
LS_COLORS=$LS_COLORS:'di=1;35:' ; export LS_COLORS
I have put this here so I can easily find it whenever I need it. If anybody else finds this useful, you are welcome.