Revisione della terza sezione del quarto capitolo (e qualche

[gapil.git] / fileunix.tex

diff --git a/fileunix.tex b/fileunix.tex
index 3a16dddbd77f226272fdc225c0713450c7944e0a..c3e7ba5a3d169d79bdb36ba65365752e14d78508 100644 (file)
--- a/fileunix.tex
+++ b/fileunix.tex
@@ -575,9 +575,9 @@ per i tre casi citati nel prototipo, vale anche per tutti quei dispositivi che
 non supportano questa funzione, come ad esempio per i file di
 terminale.\footnote{altri sistemi, usando \const{SEEK\_SET}, in questo caso
   ritornano il numero di caratteri che vi sono stati scritti.} Lo standard
-POSIX però non specifica niente in proposito. Inoltre alcuni file speciali, ad
-esempio \file{/dev/null}, non causano un errore ma restituiscono un valore
-indefinito.
+POSIX però non specifica niente in proposito. Inoltre alcuni
+\index{file!speciali} file speciali, ad esempio \file{/dev/null}, non causano
+un errore ma restituiscono un valore indefinito.
 
 \itindbeg{sparse~file} 
 
@@ -1008,8 +1008,8 @@ usare le due funzioni \funcd{fsync} e \funcd{fdatasync}, i cui prototipi sono:
   \bodydesc{La funzione ritorna 0 in caso di successo e $-1$ in caso di
     errore, nel qual caso \var{errno} assume i valori:
   \begin{errlist}
-  \item[\errcode{EINVAL}] \param{fd} è un file speciale che non supporta la
-    sincronizzazione.
+  \item[\errcode{EINVAL}] \param{fd} è un \index{file!speciali} file speciale
+    che non supporta la sincronizzazione.
   \end{errlist}
   ed inoltre \errval{EBADF}, \errval{EROFS} e \errval{EIO}.}
 \end{functions}