how to strip headers from some files

[fabien]

Hello!

I would like to know how to strip headers from some files using AWK

The files look like with header starting with # for instance or it can just be a constant number of lines.

#jdksdjkdjs
#djskjdskds
#mdlsd
130.0 400.0 300.0
130.0 400.0 300.0
130.0 400.0 300.0

Thanks for your help!

 

[Krunek]

Hi fabien!

Please, try this awk solution:

awk '/^#/ { next }  { print }' inputfile

Bye!

KP.

 

[fabien]

Hi Krunek!

Thanks it worked fine. What about if I want to take the first x lines out (they may not always start with #).

Thanks!

Fabien

 

[Krunek]

Hi again Fabien!

Congratulations! Awk is a good choice for your problems.

You can take the first for example 3 lines of inputfile out with this awk solution:

awk &quot;NR <= 3&quot; inputfile

Good bless you! Bye!

KP.

 

[fabien]

Krunek,

Thanks a lot!

Fabien

 

[Krunek]

Way the Bay, Fabien,

I use DOS version of awk. If you use *nix version of awk, awk script must be enclosed between single quotes, for example:

awk 'NR < 4' inputfile > outputfile

Bye again!

KP.