[geeks] Way to do this in AWK?

[Bill Bradford]

On Thu, Jun 20, 2002 at 10:59:30PM -0500, Steven Hill wrote:
> Errr, that's rude, isn't it?

User Commands                                             head(1)

NAME
     head - display first few lines of files

SYNOPSIS
     head [ -number | -n number ]  [ filename ... ]

DESCRIPTION
     The head utility copies the first number of  lines  of  each
     filename  to  the  standard output. If no filename is given,
     head copies lines from the standard input. The default value
     of number is 10 lines.

     When more than one file is specified, the start of each file
     will look like:

     ==> filename <==

     Thus, a common way to display a set of short files,  identi-
     fying each one, is:

     example% head -9999 filename1 filename2 ...

-- 
Bill Bradford     
mrbill at mrbill.net 
Austin, TX