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

2017-08-13 Thread Marcel Partap
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

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

2017-08-13 Thread Bruce Dubbs
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:

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

2017-08-13 Thread Marcel Partap
> One way: > grep | sed "s/:/ /" Thanks, obvious approach, but loses colour 😁

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

2017-08-13 Thread Assaf Gordon
Hello, On 13/08/17 12:45 PM, Marcel Partap wrote: >> One way: >> grep | sed "s/:/ /" > Thanks, obvious approach, but loses colour 😁 Few things: First, you can force grep to output color with: grep --color=always | sed 's/:/ /' Second, If you grep on a shell-glob (e.g. "*.txt"), you might