B.2.2 File di inizializzazione della shell

La distribuzione contiene i file da usare a inizio sessione gawk.sh e gawk.csh, che contengono funzioni che possono essere di aiuto nel gestire le variabili d’ambiente AWKPATH e AWKLIBPATH. Su un sistema Fedora GNU/Linux, questi file dovrebbero essere installati nella directory /etc/profile.d; su altre piattaforme, la posizione corretta può essere differente.

gawkpath_default

Ripristina la variabile d’ambiente AWKPATH al suo valore di default.

gawkpath_prepend

Aggiunge l’argomento all’inizio della variabile d’ambiente AWKPATH.

gawkpath_append

Aggiunge l’argomento alla fine della variabile d’ambiente AWKPATH.

gawklibpath_default

Reimposta la variabile d’ambiente AWKLIBPATH al suo valore di default.

gawklibpath_prepend

Aggiunge l’argomento all’inizio della variabile d’ambiente AWKLIBPATH.

gawklibpath_append

Aggiunge l’argomento alla fine della variabile d’ambiente AWKLIBPATH.