diff options
Diffstat (limited to 'doc/it/pm-gawk.1')
| -rwxr-xr-x[-rw-r--r--] | doc/it/pm-gawk.1 | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/it/pm-gawk.1 b/doc/it/pm-gawk.1 index 631bad47..5e40f1d3 100644..100755 --- a/doc/it/pm-gawk.1 +++ b/doc/it/pm-gawk.1 @@ -2,7 +2,7 @@ .\"Traduzione per la versione gawk-5.2.0 di A.G. Colombo - 12 Agosto 2022 .\"Aggiornamento per la versione gawk-5.2.0 di A.G. Colombo - 14 Agosto 2022 .ds PM \fIManuale utente funzionalità Memoria Persistente in gawk\fP -.TH PM-GAWK 1 "14 agosto 2022" "Free Software Foundation" "Comandi di utilità" +.TH PM-GAWK 1 "17 novembre 2022" "Free Software Foundation" "Comandi di utilità" .SH NOME gawk con memoria persistente \- dati e funzioni persistenti .SH SINTASSI @@ -165,6 +165,11 @@ con memoria persistente è stata sviluppata da Haris Volos, Zi Fan Tan e Jianan Li a partire da una diramazione della distribuzione sorgente di .I gawk . +.SH AVVERTIMENTI +Il filesysten CIFS in ambiente GNU/Linux crea dei problemi +all'allocatore di memoria persistente. Evitare quindi di +usare un file di appoggio che risieda su un tale filesystem con +.IR pm-gawk . .SH SEGNALAZIONE DI ERRORI Seguire le procedure descritte in \*(EP e in \*(PM. Se si ritiene che gli errori siano legati alla |