Correzioni

[gapil.git] / filestd.tex

diff --git a/filestd.tex b/filestd.tex
index 5036909f9a90026d71e2c5721f52395eeaa5347f..7a87a37700925a52f08fa2d23b52542b60402188 100644 (file)
--- a/filestd.tex
+++ b/filestd.tex
@@ -10,7 +10,7 @@
 Esamineremo in questa sezione l'interfaccia per i file stream, le modalità per
 crearli, e le funzioni disponibili per leggere, scrivere e compiere le varie
 operazioni connesse all'uso dei file. L'interfaccia è accessibile includendo
-l'header file \texttt{stdio.h}.
+l'header file \file{stdio.h}.
 
 Per ragioni storiche la struttura di dati che rappresenta un stream è stata
 chiamata \type{FILE}, questi oggetti sono creati dalle funzioni di libreria e
@@ -30,13 +30,13 @@ prestabiliti per il processo; anche questi tre stream sono definiti
 nell'header \file{stdio.h} e sono:
 
 \begin{itemize}
-\item \texttt{FILE * stdin} Lo \textit{standard input} cioè lo stream da cui
+\item \var{FILE * stdin} Lo \textit{standard input} cioè lo stream da cui
   il processo riceve ordinariamente i dati in ingresso. Normalmente è associato
   dalla shell all'input del terminale e prende i caratteri dalla tastiera.
-\item \texttt{FILE * stdout} Lo \textit{standard input} cioè lo stream su cui
+\item \var{FILE * stdout} Lo \textit{standard input} cioè lo stream su cui
   il processo invia ordinariamente i dati in uscita. Normalmente è associato
   dalla shell all'output del terminale e scrive sullo schermo.
-\item \texttt{FILE * stderr} Lo \textit{standard input} cioè lo stream su cui
+\item \var{FILE * stderr} Lo \textit{standard input} cioè lo stream su cui
   il processo è supposto inviare i messaggi di errore. Normalmente anch'esso
   è associato dalla shell all'output del terminale e scrive sullo schermo.
 \end{itemize}