On Fri, 2011-06-24 at 13:08 +0200, Thierry Guillemin wrote: > Thank you for your answer. > I guess I shall have to learn awk... (the truth is my level in Linux is less > than mediocre) it's not very hard -- here's the manual all in one page http://www.gnu.org/software/gawk/manual/gawk.html