bug#28081: way to change line number separator from colon to space?

[Bruce Dubbs]

Marcel Partap wrote:
> Hi,
> is there any way to make grep place a space before and after the line number 
> instead of a colon?
> > *./src/ui_download_manager.cc:36:namespace cwidget
> With many terminals not including the : as a word separator SHIFT+double click 
> on the filename selects
> > filename:line:
> so one has to manually select the filename. So much unneccessary work 😁

One way:

grep <arguments> | sed "s/:/ /"

You could easily create a script to automatically do that. It wouldn't 
handle the case where a colon is a part of the file name, but that's 
pretty rare.

  -- Bruce