Voglio leggere tutti i numeri record che iniziano con la linea id e scrivere ad un nuovo file.

ingresso:
\u003d\u003d\u003d\u003d

blah blah
blah blah
id
10 11 12
13 14 15

blah blah
blah blah
id
16 17 18
19 20 21

uscita:
10 11 12
13 14 15
16 17 18
19 20 21

Qualche idea per favore?

grazie

andy

sed '/ ^ [0-9] /! D' nomefile
o
awk '/ ^ [0-9] /' nomefile
o
grep '^ [0-9]' il nome del file

Uscita:
u142115 @ linux2alm: ~ / aps/aps4/product/den> sed '/ ^ [0-9] /! D' nuovo
10 11 12
13 14 15
16 17 18
19 20 21
u142115 @ linux2alm: ~ / aps/aps4/product/den> awk '/ ^ [0-9] /' nuovo
10 11 12
13 14 15
16 17 18
19 20 21
u142115 @ linux2alm: ~ / aps/aps4/product/den> grep '^ [0-9]' nuovo
10 11 12
13 14 15
16 17 18
19 20 21

grep [^a-zA-Z] filename

sorry ... ma che è molto facile :-))

dal momento che a volte ho la situazione;
blah blah
55 67 88
blah blah
id
10 11 12
13 14 15

blah blah
id
10 11 12
13 14 15

quindi lo script dovrebbe andare a "id" recita le seguenti linee numerico fino nuova linea e così via. Come risolvere il problema?

grep [^0-9] ss

grep [0-9] ss

Questo è esattamente ciò che l'OP non è cercando, che corrisponde ad alcuna linea con qualunque numeri.

Andy, Penso che questo non è ciò che chiedevano,
se ho capito correttamente.

awk '/^id/{getline; while ( NF ) { print; getline} }' file

reborg,

funziona :-), ma con un piccolo bug "loop infiniti" .. che succede se l'ultima riga e uno nessuna nuova linea.

come si può dire awk a saltare la lettura, se la fine del file?


Grazie

andy