Successivo: , Precedente: , Su: Invocare Gawk   [Contenuti][Indice]


2.9 Opzioni e/o funzionalità obsolete

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).