5.8.1 Accedere ad altri file aperti con gawk

Oltre ai valori speciali di nomi-file /dev/stdin, /dev/stdout e /dev/stderr già menzionati, gawk prevede una sintassi per accedere a ogni altro file aperto ereditato:

/dev/fd/N

Il file associato al descrittore di file N. Il file indicato deve essere aperto dal programma che inizia l’esecuzione di awk (tipicamente la shell). Se non sono state poste in essere iniziative speciali nella shell da cui gawk è stato invocato, solo i descrittori 0, 1, e 2 sono disponibili.

I nomi-file /dev/stdin, /dev/stdout e /dev/stderr sono essenzialmente alias per /dev/fd/0, /dev/fd/1 e /dev/fd/2, rispettivamente. Comunque, i primi nomi sono più autoesplicativi.

Si noti che l’uso di close() su un nome-file della forma "/dev/fd/N", per numeri di descrittore di file oltre il due, effettivamente chiude il descrittore di file specificato.