Correzioni e miglioramenti tipografici

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index fc9c79122023f301515788b406a971e5beb3ad0a..1f0474347dc3816a8c59e048abfd8d62dfdd7898 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -405,8 +405,8 @@ il concetto dell'\textit{everything is a file}, deve fornire una interfaccia
 che consenta di operare sui file, sia che questi corrispondano ai normali file
 di dati, o ai cosiddetti ``\textsl{file speciali}'', come i file di
 dispositivo (o \textit{device file}) che permettono di accedere alle
-periferiche o le fifo ed i socket che forniscono funzionalità di comunicazione
-fra processi (torneremo su questo in sez.~\ref{sec:file_mknod}).
+periferiche o le \textit{fifo} ed i socket che forniscono funzionalità di
+comunicazione fra processi (torneremo su questo in sez.~\ref{sec:file_mknod}).
 
 Il secondo aspetto è che per poter utilizzare dei normali file di dati il
 kernel deve provvedere ad organizzare e rendere accessibile in maniera
@@ -516,8 +516,8 @@ filesystem, compresa un'altra directory, si ottiene naturalmente
 un'organizzazione ad albero inserendo nomi di directory dentro altre
 directory.  All'interno dello stesso albero si potranno poi inserire anche
 tutti gli altri oggetti previsti l'interfaccia del VFS (su cui torneremo in
-sez.~\ref{sec:file_file_types}), come le fifo, i collegamenti simbolici, i
-socket e gli stessi file di dispositivo.
+sez.~\ref{sec:file_file_types}), come le \textit{fifo}, i collegamenti
+simbolici, i socket e gli stessi file di dispositivo.
 
 La convenzione usata nei sistemi unix-like per indicare i \textit{pathname}
 dei file è quella di usare il carattere ``\texttt{/}'' come separatore fra i