The deploy script is a program for managing configuration files. This
script grew out of my need for a multi-functional installer for configuration
files. I tend to keep those files in a separate git repository rather than
changing my $HOME into a git repository.
This Python script is a small helper to open files from the command line. It was inspired by a OS X utility of the same name.
More and more, IPython has become my tool of choice as the ultimate calculator and to try out concepts and …
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.
From the release of version 3.2, the py-stl software has been renamed to
stltools. The reason I made this …
One way of making hard to guess passwords is to take random data and encode it with base64 to make …
One of the things I liked about the old rcs revision control system was that it supported keyword expansion in …
Sometimes one has to convert numbers from and to different formats. Below are some examples in Python 3 that I …
My digital camera can also produce movies, like most camera’s these days. It saves them in AVI format, with …