Correzioni

[gapil.git] / fileintro.tex

diff --git a/fileintro.tex b/fileintro.tex
index 330f812b8a2a02dab3ebcc9bd94cbf10e93b93f9..3125a73f14f7b37c9f1087a7b43013a8ded850e8 100644 (file)
--- a/fileintro.tex
+++ b/fileintro.tex
@@ -87,7 +87,7 @@ directory; l'albero viene appunto creato inserendo directory in altre
 directory.
 
 Il nome completo di file generico è composto da una serie di nomi separati da
-una \texttt{/} (in Linux più \texttt{/} consecutive sono considerate
+una \file{/} (in Linux più \file{/} consecutive sono considerate
 equivalenti ad una sola). Il nome completo di un file viene usualmente
 chiamato \textit{pathname}, e anche se il manuale della glibc depreca questo
 nome (poiché genererebbe confusione, dato che con \textit{path} si indica
@@ -104,7 +104,7 @@ precedente: ovviamente perch
 indicati come directory esistano e siano effettivamente directory, inoltre i
 permessi devono consentire l'accesso.
 
-Se il pathname comincia per \texttt{/} la ricerca parte dalla directory radice
+Se il pathname comincia per \file{/} la ricerca parte dalla directory radice
 del processo; questa, a meno di un \textit{chroot} (su cui torneremo in
 seguito, vedi \secref{sec:xxx_chroot}) è la stessa per tutti i processi ed
 equivale alla directory radice dell'albero (come descritto in
@@ -642,7 +642,7 @@ superblock principale.
 
 L'utilizzo di raggrupamenti di blocchi ha inoltre degli effetti positivi nelle
 prestazioni dato che viene ridotta la distanza fra i dati e la tabella degli
-inodes. 
+inode. 
 
 Le directory sono implementate come una linked list con voci di dimensione
 variabile. Ciascuna voce della lista contiene il numero di inode, la sua
@@ -652,5 +652,3 @@ in questo modo 
 
 
 
-
-