Assunta la convenzione che PID, GID ecc. sono maiuscoli, ed altre

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index 1e9423b19e35a7b2d6e2c310bca7d572e0139794..d0b23fe0002555652e10f1be15dbb6f0d17fec22 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -343,9 +343,9 @@ la cui corrispondenza ad un nome espresso in caratteri è inserita nei due file
   \itindex{Name~Service~Switch} \textit{Name Service Switch}, su varie
   tipologie di supporti, compresi server centralizzati come LDAP.}  Questi
 identificativi sono l'\textit{user identifier}, detto in breve
-\textsl{user-ID}, ed indicato dall'acronimo \acr{uid}, e il \textit{group
+\textsl{user-ID}, ed indicato dall'acronimo \ids{UID}, e il \textit{group
   identifier}, detto in breve \textsl{group-ID}, ed identificato dall'acronimo
-\acr{gid}, torneremo in dettaglio su questo argomento in
+\ids{GID}, torneremo in dettaglio su questo argomento in
 sez.~\ref{sec:proc_perms}.  Il kernel conosce ed utilizza soltanto questi
 valori numerici, i nomi ad essi associati sono interamente gestiti in
 \textit{user space} con opportune funzioni di libreria, torneremo su questo
@@ -360,7 +360,7 @@ di identificazione.
 
 Infine in ogni sistema unix-like è presente uno speciale utente privilegiato,
 il cosiddetto \textit{superuser}, il cui username è di norma \textit{root}, ed
-il cui \acr{uid} è zero. Esso identifica l'amministratore del sistema, che
+il cui \ids{UID} è zero. Esso identifica l'amministratore del sistema, che
 deve essere in grado di fare qualunque operazione; per l'utente \textit{root}
 infatti i meccanismi di controllo cui si è accennato in precedenza sono
 disattivati.\footnote{i controlli infatti vengono eseguiti da uno pseudo-codice