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 »
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 »
Nice usage of find and sed to find and replace text. I used it to update the copyright notices in my projects. Just change the *.pl part to the file type you want. find . -name “*.pl” -exec sed -i “s/2012/2013/g” ‘{}’ \; Source: Wikia
Find and replace in multiple files with sed Read More »