Thanks for the hint. Is the "piped regexp-grep" acceptable? or is there some bash-builtin way to achieve this?