Search Results

Yeah, that works - many thanks!

Hi,

I want to do the following:
Extract some lines from different files and copy them into one file, with the first column being the line number. I do this with
cat file1 file2 file3 |grep 'xxx'...