A software development blog

Latest posts

• A generator that updates cert_fingerprints in .offlineimaprc

  Posted May 2, 2022

  Tags: Computer, Software, Internet, Linux, Haskell, EMail, IMAP

  A generator that updates cert_fingerprint lines in .offlineimaprc configuration file. OfflineIMAP is a GPLv2 software to dispose your mailbox(es) as a local Maildir(s), which can be used with notmuch to retrieve mail from (several) IMAP servers and read and search through it.

  The configuration contains cert_fingerprint lines to store certificates, which get outdated frequently and need to be updated. The updating is a bit of a hassle, hence this automated solution, which generates a .offlineimaprc file from a template file .offlineimaprct (created by you).

  Read more

• Date in URL Image scraper

  Posted November 22, 2021

  Tags: Computer, Software, Internet, Linux, Haskell, HTML

  A Haskell program that uses the Conduit library to retrieve and store image files with Network.HTTP.Conduit, which are accessible via an URL with a date in it. The images are stored in an images subdirectory with the date in the filename. The program skips URLs that do not return a HTTP status code of 200 (e.g. weekends, holidays, or other periods without images available) and generates an exception if the status code is not in the 2xx range. The exception is rethrown when the status code is not 404. This all has no practical use at all but I wanted to see how exceptions are handled in conduits.

  Read more

• Haskell development environment on Android phone

  Posted November 18, 2021

  Tags: Computer, Software, Linux, NixOS, Functional, Haskell, Android, Termux

  Install a full Haskell development environment (including hpack and cabal) on your Android phone. The command prompt runs via Termux and its PRoot (i.e. proot-distro).

  Read more

• xmonad with xterm

  Posted November 13, 2021

  Tags: Computer, Software, Linux, NixOS, Functional, Haskell, GUI, Tiling Window Manager, xmonad

  In the past I have used the xmonad tiling window manager but eventually returned to KDE, because I had some problems with truncated text in terminal windows, needed to be able to run a complicated GUI that was not very suited for a tiling window manager and I thought there was not that much difference in performance.

  Read more

• Paperspan export (HTML) to Instapaper import (CSV) convertor

  Posted October 6, 2021

  Tags: Computer, Software, Internet, Linux, NixOS, Haskell, CSV, HTML, YAML, RegExp

  A Haskell program to convert the Paperspan HTML export format to an Instapaper CSV import format with automatic –configuration file driven– designation to folders. The HXT library is used to parse the Paperspan HTML file and the CSV result is written to standard output.

  Read more

See the archives and links for more.