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

Previous Next

Package: grep;

Reported by: Marcel Partap <mpartap <at> gmx.net>

Date: Sun, 13 Aug 2017 18:24:02 UTC

Severity: wishlist

Full log

View this message in rfc822 format

From: Marcel Partap <mpartap <at> gmx.net>
To: 28081 <at> debbugs.gnu.org
Subject: bug#28081: way to change line number separator from colon to space?
Date: Sun, 13 Aug 2017 15:41:19 +0200

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 😁

#Best Regards/MPartap
This bug report was last modified 5 years and 229 days ago.

Previous Next

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