On 2013-09-16 16:28, H. S. Teoh wrote: > Which reminds me... it's probably time to make backups of $HOME again... Just push them to internet and someone will make the backups for you :) -- /Jacob Carlborg