Articles posted on 2021


The other day I found dvtm. Looking at it, it looks very nice. It appeals to me because I am particularly fond of text user interfaces.


At the end I choose not to use it because:

  • terminal support was less than 100% useful.
  • At the end of the day using …

Migration to Pelican

Finally got fedup with github pages and its jekyll static site generator. Essentially things would break without any particular reason and there would be nearly no way to tell what went wrong. I addition, it was not easy to test changes before making them public.

So I switched to pelican …

Stupid SSL tricks

Some hints and tips foor doing SSL related things:

Netcat for SSL

This command lets you connect to a SSL server (a-la netcat):

cat request.txt | openssl s_client -connect server:443

Creating self-signed certificates

This is a single command to generate a self-signed certificate:

openssl req -new \
      -newkey rsa:4096 …

Enable syslog with void

In void Linux, the default is without logging. Most cases it is OK for desktop use.

If you want to enable syslog service in void, you need to install:


Also to let your user have access to the logs, use:

usermod -aG socklog <your-username>

Because I like to have …

Linux HDMI hotplug

The point of this article is to document I workaround that I came up with to handle a HDMI KVM switch.

What happens is that if my Linux PC is turned on while the KVM switch is selecting the other PC, it fails to initialize the display, so when you …