Archive
All posts, in reverse chronological order.
- 2024-04-13: Simple Secure Boot in Fedora (8 min read)
- 2024-02-22: Build Arch Linux packages on OBS (4 min read)
- 2024-01-29: Repackaging images with mkosi (4 min read)
- 2024-01-28: Arch Linux rescue image with mkosi (9 min read)
- 2023-12-07: Teardown in GNOME Shell extensions (3 min read)
- 2023-11-02: Typescript setup for GNOME Shell extensions (5 min read)
- 2023-10-25: logcontrol – an underappreciated systemd feature (1 min read)
- 2022-01-06: Install Arch with Secure boot, TPM2-based LUKS encryption, and systemd-homed (10 min read)
- 2021-12-27: Unlock LUKS rootfs with TPM2 key (3 min read)
- 2021-11-06: Compose emojis (1 min read)
- 2021-08-09: The mysterious disapperance of Docker images (3 min read)
- 2021-07-27: HTTP Proxy in Electron flatpaks (1 min read)
- 2021-04-01: Secure boot on Arch Linux with sbctl and dracut (6 min read)
- 2021-03-27: Arch Linux with LUKS and (almost) no configuration (5 min read)
- 2017-07-03: Maven Central Releases with SBT (11 min read)
- 2015-11-29: Reproduce bugs in emacs -Q (3 min read)
- 2014-08-12: Emacs script pitfalls (9 min read)
- 2014-07-02: Autoloads in Emacs Lisp (4 min read)
- 2014-04-15: Calling Python from Haskell (7 min read)