Come posso fare per far si' che "awk" sia un alias di gawk e non di mawk, come invece e' adesso? -- http://digilander.iol.it/42