Category Archives: tools

Converting videos from iPhone for PowerPoint 2010

I had the problem of how to properly embed a video into PowerPoint 2010 running on Windows 7. I used the insert video command but a normal h264 video from my iPhone with a .mov extension did not work. So the video had to be converted into a different format. If you ever wanted to […]

Solarized – A Balanced Color Scheme for Text Editors

Colors schemes for text editors is just like the favorite editor itself a controversially discussed and often very personal matter. Speaking about colors often the personal taste is the main reason for a custom color scheme or why a special scheme was chosen. However the relation between different colors has been studied by artists for […]

Backing up a Server to Amazon S3

Motivation When deploying a server on the internet you always have to deal with security issues. You harden your server by setting up encrypted connections, configuring a tight firewall and putting critical services in a chroot jail. However what happens if an intruder hacks into your server and deletes your content? Or if you make […]

DTerm – A Terminal at Your Fingertips for Mac OS X

Sometimes it would be great if one could just enter a command in the terminal which is related to the directory of the file you are working on: send it to a server via scp, build a tar.gz archive, compile it or open another file. These are all operations which have also a graphical “nice” […]