With traditional Unix sort(1), the size of the files you can sort is limited by the amount of available main memory. As soon as the file gets larger and your system has to swap, performance degrades significantly. Even GNU sort which uses temporary files to get around this limitation …
read morePlotting with Matplotlib
An IMAP Configuration for Mutt
Usually, I download all my email via fetchmail, sort it into folders using procmail and read the mails with mutt. This works reasonably well and I've been using this mail setup without major changes for about 10 years. Since I recently bought a netbook, I also wanted to read mails …
read moreQuick Tip #2: Set Operations Using Shell Tools
Everybody knows that Unix shell utilities are powerful. Even though they're text-based, you can build a lot of useful things outside of the text domain. Today I'll show you how to implement set operations. All we need are sorted files as input, with each file representing a set.
Let's create …
read moreFiltering DZone RSS Feeds with Yahoo! Pipes
Rsync Snapshot Backups Revisited
A while ago, I blogged about my self-made backup solution, a simple shell script using rsync to create snapshot backups. This wasn't my first attempt at establishing backups for my private workstation but the most successful one so far. The backup takes less than 5 minutes for about 10 GB …
read moreQuick Tip #1: Implicit FIFOs in Bash
One could assume that I have run out of material and retreat to safer ground, but far from it. From now on I'll just throw in a few quick shell hacks hoping some of you don't know them yet. So, here it goes ...
Unix pipes are cool, but it's quite …
read moreRsync Backups For External Disks
Transcoding Files to Ogg Vorbis
I've got a nice MP3 player from Samsung with 2 GB of flash memory. That's very little and I can never decide which files to keep and which to delete. Fortunately, the player also supports Ogg Vorbis files that require less space for the same quality. To make the most …
read moreUsing ReStructured Text with WordPress
Writing long documents in a browser input box isn't the most pleasant thing to do. The WordPress builtin editor makes things even more inconvenient by forcing you to write your articles in HTML. It would be pretty cool if you could edit articles in a simple, readable format using your …
read more