Since I’m not running a PHP version provided by my distribution I’m responsible for cleaning up old session files myself. Aside from PHP another Perl webapp I run also doesn’t clean up its own session files. Luckily cleaning up these old files is something that’s very easy to do under Linux. find /tmp/sess_* -mtime +2 […]
Deleting files in Linux that are x-days old Read More »
I usually use KDiff3 when viewing the differences between files and merging stuff together. But from time to time I’ve found vimdiff to be a nice alternative, especially when I’m logged in through SSH on a server. The problem is I don’t use it that often so I tend to forget the key combinations. So
vimdiff shorcut keys Read More »
Since a week or 2 I’ve been using Varnish in front of my websites on my server. Varnish is marketed as a “web application accelerator”. To be honest, the homepage of the project doesn’t really give a good description of what it does. For that you’ve got to dive a little bit deeper into their
Speeding up your website with Varnish Read More »
I don’t remember how I bumped into this one, but f.lux is a really nice piece of software that adapts your screens colors depending on the time of the day. After the sun has set it transitions your screen to a warmer color palette that’s a lot easier on the eyes when the lighting in
f.lux – Better lighting for your computer Read More »
Even though Windows 7 is my main OS I use terminals a lot. I don’t mean the Windows command prompt in this case, though I actually use that a lot as well. The terminal I’m talking about now is Bash, which I use on my Raspberry Pi, VPS’s and virtual machines. To connect to these
Using tmux – shortcuts Read More »