Proseguito coi segnali, inseriti i tipi di sistema nell'indice

[gapil.git] / fileintro.tex

diff --git a/fileintro.tex b/fileintro.tex
index 0632b7a8fade79cc6f1094d378e1b91dd3a69e7a..14e4f274eb7ef4ef6ce9fafb414f67f1900e97c3 100644 (file)
--- a/fileintro.tex
+++ b/fileintro.tex
@@ -205,7 +205,7 @@ bufferizzato in quanto la lettura e la scrittura vengono eseguite chiamando
 direttamente le system call del kernel (in realtà il kernel effettua al suo
 interno alcune bufferizzazioni per aumentare l'efficienza nell'accesso ai
 dispositivi); i \textit{file descriptor}\index{file descriptor} sono
 direttamente le system call del kernel (in realtà il kernel effettua al suo
 interno alcune bufferizzazioni per aumentare l'efficienza nell'accesso ai
 dispositivi); i \textit{file descriptor}\index{file descriptor} sono

-rappresentati da numeri interi (cioè semplici variabili di tipo \type{int}).
+rappresentati da numeri interi (cioè semplici variabili di tipo \ctyp{int}).

 L'interfaccia è definita nell'header \file{unistd.h}.
 
 La seconda interfaccia è quella che il manuale della \acr{glibc} chiama degli
 L'interfaccia è definita nell'header \file{unistd.h}.
 
 La seconda interfaccia è quella che il manuale della \acr{glibc} chiama degli


@@ -217,7 +217,7 @@ Questa 
 anche su tutti i sistemi non Unix. Gli \textit{stream} sono oggetti complessi
 e sono rappresentati da puntatori ad un opportuna struttura definita dalle
 librerie del C; si accede ad essi sempre in maniera indiretta utilizzando il
 anche su tutti i sistemi non Unix. Gli \textit{stream} sono oggetti complessi
 e sono rappresentati da puntatori ad un opportuna struttura definita dalle
 librerie del C; si accede ad essi sempre in maniera indiretta utilizzando il

-tipo \type{FILE *}.  L'interfaccia è definita nell'header \type{stdio.h}.
+tipo \ctyp{FILE *}.  L'interfaccia è definita nell'header \file{stdio.h}.

 
 Entrambe le interfacce possono essere usate per l'accesso ai file come agli
 altri oggetti del VFS (fifo, socket, device, sui quali torneremo in dettaglio
 
 Entrambe le interfacce possono essere usate per l'accesso ai file come agli
 altri oggetti del VFS (fifo, socket, device, sui quali torneremo in dettaglio