GNU bug report logs - #28081
way to change line number separator from colon to space?

Previous Next

Full log

View this message in rfc822 format

From: Bruce Dubbs <bruce.dubbs <at> gmail.com>
To: Marcel Partap <mpartap <at> gmx.net>, 28081 <at> debbugs.gnu.org
Subject: bug#28081: way to change line number separator from colon to space?
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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.