Correzioni

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
 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
 
 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}
 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.
   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.
   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}
   il processo è supposto inviare i messaggi di errore. Normalmente anch'esso
   è associato dalla shell all'output del terminale e scrive sullo schermo.
 \end{itemize}

diff --git a/fileunix.tex b/fileunix.tex
index 09e38a8ce394bb51a9cf685401ea102d7bf59bbd..c63f47546eb7c621181180512741788fd05814b6 100644 (file)
--- a/fileunix.tex
+++ b/fileunix.tex
@@ -37,10 +37,10 @@ attivi nella cosiddetta \textit{process table} ed un elenco dei file aperti
 nella \textit{file table}. 
 
 Ciascuna voce della \textit{process table}, che in Linux è costituita da una
 nella \textit{file table}. 
 
 Ciascuna voce della \textit{process table}, che in Linux è costituita da una

-struttura \var{task_struct}, che contiene tutte le informazioni relative ad
+struttura \var{task\_struct}, che contiene tutte le informazioni relative ad

 ogni processo attivo nel sistema; fra queste c'è anche il puntatore ad una
 ogni processo attivo nel sistema; fra queste c'è anche il puntatore ad una

-ulteriore struttura \var{files_struct} che contiene le informazioni su tutti i
-file che il processo sta usando.
+ulteriore struttura \var{files\_struct} che contiene le informazioni su tutti
+i file che il processo sta usando.

 
 Ciascuna voce della \textit{file table}, che in Linux è costituita da una
 struttura \var{file}, contiene informazioni ogni file aperto nel sistema.
 
 Ciascuna voce della \textit{file table}, che in Linux è costituita da una
 struttura \var{file}, contiene informazioni ogni file aperto nel sistema.