Teacher – Programmer – Designer
Tips, Tricks, and How-To on a variety of topics
Introduction I decided to set up a server on my home network to do a variety of things. Since it’s to be shared with other family members, it’s best to use something easy to remember like a domain name. However, as I soon discovered, setting up a domain on my internal network with HTTPS is…
When ejecting a NTFS flash drive, my system froze and I had to manually power down the machine. I plugged in the flash drive on another ubuntu machine and got an "unknown error". When I plugged it back to the initial machine, the same error appeared. A quick search showed that the command ntfsfix can…
Overview Meld is a program that can show the differences in files and directories. For example, if you are copying files between directories and an error occurs, you can compare the two directories to see what files are missing in your copy. You can then copy the missing files. It is available on Windows, Mac…
Introduction I’ve been creating a Beamer theme for presentation slides in a course that I’m about developing. One quick way to use a custom beamer theme is to just put all the theme files into the same folder as your tex files. That does not work well when you have multiple presentations you want to…
To install fonts on Ubuntu 18.04, you first find the font file in the file manager. Then you would double click the font file which opens the font viewer that shows a preview of the font. Then you would click the install button. This is great when you occasionally install a new font. What happens…