Update 2012-12-17-linux-tips.md