The menu font is too small, as well as the dialogue box text. It is very difficult to read the text such as on the Preferences dialogue box. Is there any way to make them bigger other than: Increase the system DPI: It is already 200%, and useless stuff like […]
Daily Archives: March 22, 2020
I had the misfortune of my laptop getting exposed to water and my HDD stopped functioning due to water damage. I bought and installed a new SSD and downloaded a copy of windows 10 from the official website and installed it on my new hard disk. Now I have several […]
For Ubuntu it’s easy to create a desktop notification: https://askubuntu.com/questions/187022/how-can-i-send-a-custom-desktop-notification it looks like: $ notify-send "Hello world!" on MacOS, I am looking for a simple command that I can use to create a system notification. Is there some apple script that I can launch to accomplish that?
There does not seem to be a straightforward way to keep spaces between a table and the previous or posterior paragraph using styles (no direct formatting) unless the paragraph style includes spacing above and below. As Lipsticks suggested, I could create a special style for the paragraphs above a table […]
We looked at the source builtin a little in TLCL when we were examining how the shell’s environment is established with the .profile and .bashrc files. In this adventure, we will delve further into how to use this feature to support configuration files and shareable function libraries for our bash […]