diff options
| -rw-r--r-- | doc/it/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/it/gawktexi.in | 19 |
2 files changed, 18 insertions, 5 deletions
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index 37f173ce..d51be100 100644 --- a/doc/it/ChangeLog +++ b/doc/it/ChangeLog @@ -1,3 +1,7 @@ +2019-05-12 Antonio Giovanni Colombo <azc100@gmail.com> + + * gawktexi.in: Updated. + 2019-04-27 Antonio Giovanni Colombo <azc100@gmail.com> * gawktexi.in: Updated. diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index 22631238..894a80c9 100644 --- a/doc/it/gawktexi.in +++ b/doc/it/gawktexi.in @@ -4094,7 +4094,7 @@ Quest'opzione pu@`o essere data pi@`u volte; il programma @command{awk} @`e formato dalla concatenazione del contenuto di ogni @var{file-sorgente} specificato. -I file specificati dall'opzione @option{-i} sono considerati +I file specificati dall'opzione @option{-f} sono considerati appartenere allo spazio-dei-nomi @samp{"awk" (@@namespace "awk")} a inizio programma. @xref{Cambiare lo spazio-dei-nomi}, per ulteriori informazioni. @@ -4555,10 +4555,14 @@ effettuate sulla rappresentazione interna del programma. @cindex @option{--sandbox}, opzione @cindex sandbox, modalit@`a @cindex prova, modalit@`a di +@cindex @code{ARGV}, vettore +@cindex vettore @code{ARGV} Disabilita la funzione @code{system()}, la ridirezione dell'input con @code{getline}, la ridirezione dell'output con @code{print} e @code{printf}, e le estensioni dinamiche. +Inoltre, non consente di aggiungere nomi di file ad @code{ARGV} che +non siano gi@`a presenti all'inizio dell'esecuzione di @command{gawk}. @`E particolarmente utile quando si vogliono eseguire @dfn{script} @command{awk} da sorgenti dubbie e si vuol essere ricuri che gli @dfn{script} non abbiano accesso al sistema (oltre al @value{DF} di input specificato). @@ -42342,7 +42346,7 @@ di @command{gawk} per parecchi anni. @item @cindex Gordon, Assaf -Assaf Gordon ha scritto il codice per implementare +Assaf Gordon ha contribuito il codice iniziale per implementare l'opzione @option{--sandbox}. @item @@ -43003,9 +43007,14 @@ quando si compila @command{gawk} a partire dai sorgenti, tra cui: @cindex @option{--disable-extensions}, opzione di configurazione @cindex opzione di configurazione @code{--disable-extensions} @item --disable-extensions -Richiesta di non configurare e generare le estensioni di esempio nella -directory @file{extension}. Questo @`e utile quando si genera -@command{gawk} per essere eseguito su un'altra piattaforma. +Disabilita il meccanismo delle estensioni all'interno di +@command{gawk}. Specificando quest'opzione non @`e possibile +utilizzare estensioni dinamiche. Inoltre si disabilita la +configurazione e la generazione delle estensioni di esempio nella +directory @file{extension}. + +Questo @`e utile quando si genera @command{gawk} per essere eseguito +su un'altra piattaforma. L'azione di default @`e di controllare dinamicamente se le estensioni possono essere configurate e compilate. |