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: Add that key … Continue reading Installing Webmin on Ubuntu 22.04 server
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 … Continue reading Where did Microsoft move the underline menu shortcut option?
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. … Continue reading Setting colors for Linux ls command