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

From: Bruce Dubbs <[email-masked]>
Date: Sun, 13 Aug 2017 13:42:40 -0500

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