revise 2012-12-10-grep-tricks