gawk: Naming Standard Input

 
 2.4 Naming Standard Input
 =========================
 
 Often, you may wish to read standard input together with other files.
 For example, you may wish to read one file, read standard input coming
 from a pipe, and then read another file.
 
    The way to name the standard input, with all versions of 'awk', is to
 use a single, standalone minus sign or dash, '-'.  For example:
 
      SOME_COMMAND | awk -f myprog.awk file1 - file2
 
 Here, 'awk' first reads 'file1', then it reads the output of
 SOME_COMMAND, and finally it reads 'file2'.
 
    You may also use '"-"' to name standard input when reading files with
 'getline' (SeeGetline/File).
 
    In addition, 'gawk' allows you to specify the special file name
 '/dev/stdin', both on the command line and with 'getline'.  Some other
 versions of 'awk' also support this, but it is not standard.  (Some
 operating systems provide a '/dev/stdin' file in the filesystem;
 however, 'gawk' always processes this file name itself.)