This is a reference list of services that I need to check when upgrading or otherwise altering my server. Web services: nginx php-fastcgi Puma search server Hugo blog (this blog) Firewall settings, use sudo nft list ruleset. It should be loaded through the nftables service. ACME certificate renewal. This is a …

These are instructions on how I swap out a RAID disk. I use Linux md software RAID1. Informational commands These commands gather information on the state of the system. cat /proc/mdstat: Shows the status of all md arrays and any updates. lshw -short -class disk: Shows all attached disks with model numbers and …

Historical research based on government documents is often useful and not too difficult, because the documents are not under copyright. However, the materials are not organized and sometimes hard to find. This document lists some of the sources that I use and the best archives for finding them. Federal Reporter (1st …

I recently set up a new Raspberry Pi, but Wi-Fi didn't work out of the box. The answer turned out to be that my Wi-Fi dongle was too old for the new driver, so I had to update a configuration file to use the older driver. These are a few notes on things I learned. To connect to Wi-Fi, a Linux system uses a daemon …

Here are some thoughts on setting up a VPN server on Ubuntu.

This is a working collection of rules for slash signatures used in documents electronically filed before various government bodies.

This is a post of tips for altering my dress shirts for the next time that I do it.

So I previously wrote about my difficulties with the Linux Libertine font in PDF files being displayed by the PDF.js viewer. The brief overview is this: PDF files using the Linux Libertine font, as compiled by XeTeX on OS X and displayed in PDF.js via Firefox, will have ligatures show up as various incorrect …

UPDATE: I have a new and improved solution described here.

I am generating PDF files using the Linux Libertine fonts and XeTeX. When I view the files with an ordinary PDF reader, they appear fine. However, when I open them with the PDF.js viewer built into Firefox, the ligatures appear as odd foreign characters.