How to remove all lines with something other than numbers

Shell Programming and Scripting
1

Hi,

How would I get rid of lines having something else than numbers (such as tabs,white space, special characters, empty line, letters).

So I have big file with numers as follows:

12345678901
23456789012
32343678901
42345638901
52345678901

and I sometimes the file might contain some stuff not belonging there.

So if someone could help me with some nice one-liner to remove all lines that does not follow the format I want: 11 numbers and nothing else.

Thanks,
//Juha

2

Try this (Not tested) :

sed '/^[0-9]\{11\}$/!d' inputfile > outputfile

Jean-Pierre.

3

Hi Jean-Pierre,

It works fine!! Thanks a lot for your help.

//Juha