Uniformato "user space" in italic e corrette alcune parti degli

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index 82a172d5910e8e8d2fed5aa66a77c3fa32787232..bf872b89cd7ee4ce83997e9ed0c58ced0fbc34ef 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -702,7 +702,7 @@ file) da parte del kernel,\footnote{non è così ad esempio nel filesystem HFS
   file con gli \textit{extended attributes} (vedi sez.~\ref{sec:file_xattr}),
   ma è una caratteristica tutt'ora poco utilizzata, dato che non corrisponde
   al modello classico dei file in un sistema Unix.} ogni classificazione di
-questo tipo avviene sempre in \textit{user-space}. Gli unici file di cui il
+questo tipo avviene sempre in \textit{user space}. Gli unici file di cui il
 kernel deve essere in grado di capire il contenuto sono i binari dei
 programmi, per i quali sono supportati solo alcuni formati, anche se oggi
 viene usato quasi esclusivamente