This is my home in the virtual world, where I write
about things that I want to share. The freely available software that
I've written as well as some of the photographs I've taken over the
years can also be found here. Please use the navigation links on the
right if you are looking for something.
Installing software on FreeBSD is made easier by the ports system; a
collection of Makefiles and patches that contains instructions on how to build
programs and libraries.
E.g. building and installing the mpv media player is done in the following
# cd /usr/ports/multimedia/mpv
# make install clean ...
As an engineer, I often do diverse calculations that I want to save in my
logbooks which I write in LaTeX.
Up to now I've either formatted those by hand or used the listings package
to include calculations made in IPython.
These techniques are not optimal.
Formatting by hand ...
From the release of version 3.2, the py-stl software has been renamed to
stltools. The reason I made this change mostly has to do with how FreeBSD
handles packages. Programs that require an interpreter are prefixed with its
name and version. So py-stl would become py27-py-stl, which would be ...
Since the previous article, I've updated my workstation to FreeBSD 10.
Compiling asymptot 2.23 no longer works because it uses deprecated C++
So I thought I'd try and compile the latest version 2.32. Since my TeXLive is
not installed from the FreeBSD ports tree, I ...
Some programs like e.g. Firefox have the annoying habit of creating a
Desktop directory in your $HOME directory.
It seems this is driven by the freedesktop specification, specifically
Since I prefer a simple window manager to a complex and overweight “desktop
environment”, this behavior annoys me to no end.
Luckily there is a way to turn it off.
Create a file named user-dirs.dirs in the directory ~/.config.
This file should contain at least the following line:
You should of course substitute your own username for <username>.
There are several values that you can set in this file.
Most of them only matter when you use a desktop environment.
The defaults (without the XDG_ prefix and _DIR suffix) are defined in
Some sources say that it is OK to use shell variables (like $ ...
Unlike systems like rcs, cvs and subversion, the git revision
control system cannot provide keyword expansion. The cause for this is that
you can't modify a file with information about the commit after you've
committed, because git checksums the file first.