Re: awk (gawk) stampa i numeri decimali con la virgola invece che con il punto

2008-01-03 Per discussione Mattia
On Thu, 03 Jan 2008 07:29:59 +0100 Giuseppe Sacco [EMAIL PROTECTED] wrote: credo che tutti i programmi stiano passando all'utilizzo della locale, bc evidentemente è ancora indietro, oppure l'autore ha scelto di non aggiornarlo, ma penso che tutti i programmi vadano convertiti un po' alla

awk (gawk) stampa i numeri decimali con la virgola invece che con il punto

2008-01-02 Per discussione Mattia
Ciao a tutti, mi rendo conto che l'argomento è una sciocchezza però è da più di un'ora che ci sbatto la testa e vorrei capire se è un problema solo mio. Venendo al dunque: se lancio questo comando: echo 10 |LC_ALL=it_IT.UTF-8 gawk '{print $1/3}' ottengo 3,3. Se invece lancio echo 10

Re: awk (gawk) stampa i numeri decimali con la virgola invece che con il punto

2008-01-02 Per discussione Giuseppe Sacco
Buongiorno Mattia, Il giorno gio, 03/01/2008 alle 00.57 +0100, Mattia ha scritto: [...] Evidentemente gawk tiene conto del locale per stampare il carattere che separa i decimali. Non sarebbe meglio avere il punto come separatore per ogni locale visto che nella documentazione di gawk si usa