Extensions on akos.ma

Kroki

Fri, 31 Oct 2025 00:00:00 +0100

Kroki is a wonderful tool I discovered during the time I worked as DevRel: it’s a small open source containerized application (compatible with OpenShift off-the-box) written in JavaScript, that encapsulates as many textual diagram formats as possible under a single unified API, offering a convenient way for users to generate diagrams, without needing to install separate libraries everywhere.

Plugins for tmux

Fri, 25 Jul 2025 00:00:00 +0200

I’m a big fan of tmux since I started using it back in 2010. I can’t conceive working on a terminal window without it, and I also use it in remote systems I access via SSH.

Automatic Dark Mode via CSS

Fri, 13 Dec 2024 00:00:00 +0100

Dark mode (or dark theme, depending on whom you ask) is a great thing, and major operating systems have adopted it in the past few years as a native feature: Windows, macOS, and Linux desktop environments such as GNOME, Xfce, and KDE have a dark mode built-in.

EditPlus

Fri, 24 Mar 2023 00:00:00 +0100

Last week I was celebrating the 20 years of my Harman Kardon SoundSticks, but last Monday there was another anniversary that some of us celebrated fondly: EditPlus 1.0, released March 20th, 1998, is 25 years old!

GNOME Extensions

Fri, 20 Jan 2023 00:00:00 +0100

Last week I talked about Firefox extensions, last year I talked about VSCode extensions, now it’s time to talk about GNOME extensions. For those who don’t know, GNOME is the name of one of the various desktop environments available for Linux and other operating systems.

Firefox Extensions

Fri, 13 Jan 2023 00:00:00 +0100

Everybody uses Chrome, but I don’t; Google is too powerful already, no need to feed the beast anymore. At most, I have a copy of Chromium installed, as a last resort. Because I’m a faithful Firefox user, and of course I install many extensions in it. Here are some of those that I systematically add to every computer I use.

Lots of VSCode Extensions

Fri, 29 Oct 2021 00:00:00 +0200

The recent release by Microsoft of vscode.dev, the online version of Visual Studio Code, made me think of all the different things I do with VSCode, including this blog. And of course, being productive in VSCode means, to a large extent, finding gems across a seemingly infinite number of extensions.