Well, I got sweet nothing done that I actually planned on doing this evening, but I had an interesting evening (re)discovering how to a) install additional fonts system-wide on Ubuntu, and b) necessarily figuring out how to access a mounted USB thumb drive from the cli. (All the documentation talks about is how to un/mount the damn thing, but that’s uselessly redundant since Linux does that for you automatically. Bah!)
I got there in the end.
NB: font families are much harder to come by…
1/3