X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=intro.tex;h=aff48b7c446f22279c1309636fa82bafbc9acb35;hp=69b22e793b6507a3487d4ec90a820d0f99f2a4aa;hb=e7010c3fbd41a2de44c7b513c5de6e2c6d7ab4b4;hpb=60e20d29c0515f95b8a171fb33c7214c9bf92021

diff --git a/intro.tex b/intro.tex
index 69b22e7..aff48b7 100644
--- a/intro.tex
+++ b/intro.tex
@@ -254,9 +254,9 @@ accesso ai file e quindi anche alle periferiche, in maniera pi
 definendo gruppi di lavoro, di accesso a determinate risorse, ecc.
 
 L'utente e il gruppo sono identificati da due numeri, la cui corrispondenza ad
-un nome espresso in caratteri è inserita nei due file \file{/etc/passwd} e
-\file{/etc/groups}.\footnote{in realtà negli sistemi più moderni, come vedremo
-  in sez.~\ref{sec:sys_user_group} queste informazioni possono essere
+un nome espresso in caratteri è inserita nei due file \conffile{/etc/passwd} e
+\conffile{/etc/group}.\footnote{in realtà negli sistemi più moderni, come
+  vedremo in sez.~\ref{sec:sys_user_group} queste informazioni possono essere
   mantenute, con l'uso del \itindex{Name~Service~Switch} \textit{Name Service
     Switch}, su varie tipologie di supporti, compresi server centralizzati
   come LDAP.}  Questi numeri sono l'\textit{user identifier}, detto in breve