Extension of grep command in Linux