short.html

Short notes without context or introduction.

• 2026-01-16 (link)

  The cycle of development:

  1. you hunt a bug and spot a lot of opportunities for cleanups
  2. you do cleanups and spot random bug(s) on the way
  3. goto 1
• 2026-01-12 (link)

  In addition to errno listing there’s a command errno from the package moreutils that also prints the message for the error number, though it accepts only positive numbers and does not even try to parse hexadecimal numbers.

• 2026-01-02 (link)

  Looks like the first thing one needs when using {{ page.content }} is to get rid of the enclosing <p>...</p>, while also keeping any nested paragraphs. So remove_first but there’s no remove_last. Reversing and removing the reversed enclosing tag somehow works but does not return a string when joining. So there’s a local string filter chop_paragraph (_plugins/custom_filters.rb in git).