diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-11-08 14:29:04 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-11-08 14:29:04 +0200 |
| commit | 43dcfbd0403563e7a1c8bfe4a67966df4840d90c (patch) | |
| tree | 17fe5bcb6be577c5225066efddbd3f55c2afc538 /doc | |
| parent | b80f370b1f51e10db175f2697847ec129a454dac (diff) | |
| download | egawk-43dcfbd0403563e7a1c8bfe4a67966df4840d90c.tar.gz egawk-43dcfbd0403563e7a1c8bfe4a67966df4840d90c.tar.bz2 egawk-43dcfbd0403563e7a1c8bfe4a67966df4840d90c.zip | |
Update Italian translation.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/it/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/it/gawktexi.in | 7 |
2 files changed, 11 insertions, 0 deletions
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index fe12169c..5b6cb620 100644 --- a/doc/it/ChangeLog +++ b/doc/it/ChangeLog @@ -1,3 +1,7 @@ +2019-11-04 Antonio Giovanni Colombo <azc100@gmail.com> + + * gawktexi.in: Updated. + 2019-10-17 Antonio Giovanni Colombo <azc100@gmail.com> * gawktexi.in: Updated. diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index 70aac096..e4c4516e 100644 --- a/doc/it/gawktexi.in +++ b/doc/it/gawktexi.in @@ -40175,6 +40175,13 @@ il tipo di file @`e sempre @samp{u}. Si pu@`o usare l'estensione corretta sul tipo di file. @end quotation +Per default, se non @`e possibile aprire una directory (p.es. per problemi +di autorizzazione), @command{gawk} termina l'esecuzione. +Come @`e il caso per i file normali, questa situazione pu@`o +essere gestita usando una regola @code{BEGINFILE} che controlli il +contenuto della variabile @code{ERRNO} e stampi un messaggio di +errore oppure gestisca il problema in qualche altro modo. + Ecco un esempio: @example |