|
From: | Marcel Partap |
Subject: | bug#28081: way to change line number separator from colon to space? |
Date: | Sun, 13 Aug 2017 15:41:19 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux i686 on x86_64; rv:45.0) Gecko/20100101 Icedove/45.6.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |