Skip to content

Index

Speed up xsltproc xhml – install DTDs

I keep forgetting which package to install in Ubuntu to get the DTDs for html, to stop xsltproc from hanging forever. So, for posterity: w3c-sgml-lib. I think it was w3c-dtd-xhtml in Ubuntu 16 and older. Read More »

Setting up a Zimbra authenticated proxy

On March 18th, Synacor posted about a critical Zimbra security vulnerability (CVE 2019 9670), which was quick to be exploited in the wild, and subsequently evolved to be harder to erradicate. Read More »

Programming my friend’s remote

I built a sound system for a friend, and programmed Philips RC5 remote control into the microcontroller. I recently ordered this remote: Read More »

Git and Tig config base

Here's just a quick .gitconfig: [core] commentchar = % [tig "color"] date = cyan black bold diff-header = cyan black [tig] ignore-case = yes Read More »

Attempt to repair short on motherbord

At work, we had a small embedded PC that had a short in the mainboard. I attempted a fix, mostly for educational purposes. It wasn't successful, but I wanted to post the method and result anyway. The method I used is elaborately explained on Youtube, so go hunt there for more details. Read More »

Garbled screen in tmux on Ubuntu 18.04 in Konsole

There is a bug in Konsole with tmux: lines often aren't cleared properly. To fix, put this in tmux.conf: Read More »

Nginx maintenance page

Just some example code for an nginx maintenance page: server { listen 80; listen 443 ssl; server_name www.example.com; Read More »

Softstarter (ballast start) relay charred after years of use

This is an interesting case. I made a sound system for a friend in 2012. In it is a soft-starter, that engages the heavy transformer through a ballast, so that the fuse doesn't trip. This is it: Read More »

Digital audio passthrough on TVs

I was researching how TVs pass through audio coming in from HDMI, and I found this. Just dumping it here as memory. Read More »

New year’s resolutions

I updated my personal homepage at the beginning of the new year. Some of the changes were long overdue, like my university student status and the number of diving licenses. But, there were other changes that arose from a more recent insight: that, if I am to reach my goals, I need a plan. A bad plan is better than no plan. And too many goals are as useless as no goals. Read More »