Usando awk
e um arquivo de entrada com o nome foo
awk '! /^date/ {print} /^date/ && ! a {a=1; print}' foo
Saída
Filename:xxxxxxxx
date: 2014/12/24 14:46:41; author: xxxxx; state: Exp; lines: +210 -206
revision 1.23
Se você tiver mais de um bloco de Filename
… revision
em um arquivo, por exemplo
Filename:xxxxxxxx
date: 2014/12/24 14:46:41; author: xxxxx; state: Exp; lines: +210 -206
date: 2014/11/18 21:00:43; author: xxxxx; state: Exp; lines: +617 -594
revision 1.23
Filename:xxxxxxxx
date: 2014/12/24 14:46:41; author: xxxxx; state: Exp; lines: +210 -206
date: 2014/11/18 21:00:43; author: xxxxx; state: Exp; lines: +617 -594
revision 1.23
você deve usar
awk '! /^date/ {a=0; print} /^date/ && ! a {a=1; print}' foo
para obter
Filename:xxxxxxxx
date: 2014/12/24 14:46:41; author: xxxxx; state: Exp; lines: +210 -206
revision 1.23
Filename:xxxxxxxx
date: 2014/12/24 14:46:41; author: xxxxx; state: Exp; lines: +210 -206
revision 1.23