Tag: Tips & Tricks 2012 HowTo completely remove a file from Git history Feb 07 2012 2010 Background a running process Aug 17 2010 2009 Linux Tips: get the list of subdirectories with their owner & permissions and full paths Jun 05 2009 Bash tips: if -e wildcard file check => [: too many arguments Mar 05 2009 Running multiple instances of MySQL on the same machine Jan 19 2009 2008 Using the % character in crontab entries Nov 12 2008