Successivo: Non documentato, Precedente: Caricare librerie condivise, Su: Invocare Gawk [Contenuti][Indice]
Questa
sezione descrive funzionalità o opzioni da riga di comando
provenienti da precedenti versioni di gawk
che non sono più
disponibili nella versione corrente, o che sono ancora utilizzabili ma sono
deprecate (ciò significa che non saranno presenti nella prossima
versione).
I file speciali relativi ai processi /dev/pid, /dev/ppid,
/dev/pgrpid e /dev/user erano deprecati, ma ancora disponibili,
in gawk
3.1. A partire dalla versione 4.0, non sono
più interpretati da gawk
in modo speciale (al loro posto usare
invece PROCINFO
; si veda Variabili predefinite con cui awk
fornisce informazioni).