Руководство пользователя для GNU Awk

Приложение A. Обзор gawk

A.5.5 Специальные файловые имена

При перенаправлении ввода/вывода от print или printf в файл или через getline от файла gawk распознает некоторые специальные файловые имена. Эти имена разрешают доступ к дескрипторам открытых файлов, унаследованных от родительских процессов gawk (обычно от оболочки).

Имена следующие:

`/dev/stdin'  Стандартный ввод
`/dev/stdout' Стандартный вывод
`/dev/stderr' Стандартный вывод для ошибок
`/dev/fd/n'   Файл, обозначенный открытым файловым дескриптором  n.

Кроме того, чтение следующих файлов обеспечивает информацию о процессе выполнения программ gawk. Все выдаваемые записи кончаются символом newline.

`/dev/pid'
Выдает идентификатор ID текущего процесса

`/dev/ppid'
Выдает ID родителя текущего процесса.

`/dev/pgrpid'
Выдает ID группы процессов для текущего процесса.

`/dev/user'
По крайней мере четыре разделенных пробелами поля, содержащие возвращенные значения системных вызовов getuid, geteuid, getgid и getegid. Если имеются дополнительные поля, они представляют групповые ID, возвращенные системным вызовом getgroups. (Кратные группы могут не поддерживаться во всех системах.)

Эти имена файлов могут быть также использованы в командной строке для наименования файлов с данными. Эти имена распознаются только внутренним образом, если вы фактически не имеете файлов с такими именами в вашей системе. См. раздел 6.7 [Специальные имена файлов в gawk], стр. 72, с подробными описаниями, поясняющими мотивацию упомянутых средств.