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
