Come passare una variabile da bash ad awk.

Il corso di awk è fermo da tempi immemorabili. Mi rendo conto che urge una sorta di sintesi e poi penso sia necessario partire quasi subito.

Oggi una curiosità, che in alcuni casi si rivela di importanza estrema: Come passare una variabile da bash ad awk.

Poniamo che in uno script si abbia una determinata variabile, ad esempio, $NUMERO, che contenga come valore "144". Per passarla ad awk bisogna fare così:

Posto che

NUMERO=144

si deve scrivere, più o meno (nel senso che il mio caso è solo un esempio)

awk -v number=$NUMERO 'BEGIN{print number}'

Questo discorso vale anche per le variabili interne di bash, come $USER, $HOME, $PATH, etc...

awk -v user=$USER 'BEGIN{print user}'

Alla prossima!

P.S. Altri articoli su awk potete trovarli qui e qui.