Correzioni multiple agli indici delle funzioni, inserita macro per

[gapil.git] / session.tex

diff --git a/session.tex b/session.tex
index cf880e57e3b72a53d84f87b0198ee15950053390..a4dad38f30623bb9a69677cd711474c9080376b3 100644 (file)
--- a/session.tex
+++ b/session.tex
@@ -570,7 +570,7 @@ inoltre effettuerà, qualora servano, ulteriori impostazioni.\footnote{ad
 poi porsi in attesa dell'immissione del nome di un utente.
 
 Una volta che si sia immesso il nome di login \cmd{getty} esegue direttamente
-il programma \cmd{login} con una \func{exevle}, passando come argomento la
+il programma \cmd{login} con una \func{execle}, passando come argomento la
 stringa con il nome, ed un ambiente opportunamente costruito che contenga
 quanto necessario; ad esempio di solito viene opportunamente inizializzata la
 variabile di ambiente \envvar{TERM} per identificare il terminale su cui si
@@ -980,7 +980,7 @@ tab.~\ref{tab:sess_syslog_facility}, uno dei possibili utenti del servizio del
 \textit{syslog} è anche il kernel, che a sua volta può avere necessità di
 inviare messaggi verso l'\textit{user space}. I messaggi del kernel sono
 mantenuti in un apposito buffer circolare e generati all'interno del kernel
-tramite la funzione \func{printk}, analoga alla \func{printf} usata in
+tramite la funzione \texttt{printk}, analoga alla \func{printf} usata in
 \textit{user space}.\footnote{una trattazione eccellente dell'argomento si
   trova nel quarto capitolo di \cite{LinDevDri}.}
 
@@ -1004,13 +1004,13 @@ sono riportati in fig.~\ref{fig:printk_priority}
   \label{fig:printk_priority}
 \end{figure}
 
-Dato che i messaggi generati da \func{printk} hanno un loro specifico formato
-tradizionalmente si usava un demone ausiliario, \cmd{klogd}, per leggerli,
-rimappare le priorità sui valori di tab.~\ref{tab:sess_syslog_priority} e
-inviarli al sistema del \textit{syslog} nella facility \const{LOG\_KERN}.
-Oggi i nuovi demoni più avanzati che realizzano il servizio (come
-\texttt{rsyslog} o \texttt{syslog-ng}) sono in grado di fare tutto questo da
-soli.
+Dato che i messaggi generati da \texttt{printk} hanno un loro specifico
+formato tradizionalmente si usava un demone ausiliario, \cmd{klogd}, per
+leggerli, rimappare le priorità sui valori di
+tab.~\ref{tab:sess_syslog_priority} e inviarli al sistema del \textit{syslog}
+nella facility \const{LOG\_KERN}.  Oggi i nuovi demoni più avanzati che
+realizzano il servizio (come \texttt{rsyslog} o \texttt{syslog-ng}) sono in
+grado di fare tutto questo da soli.
 
 Ma i messaggi del kernel non sono necessariamente connessi al sistema del
 \textit{syslog}; ad esempio possono anche essere letti direttamente dal buffer
@@ -1057,7 +1057,7 @@ Gestisce i messaggi di log del kernel.
   \item[\errcode{ERESTARTSYS}] l'operazione è stata interrotta da un segnale.
   \item[\errcode{EPERM}] non si hanno i privilegi richiesti per l'operazione
     richiesta.
-  \item[\errcode{ENOSYS}] il supporto per \func{printk} non è stato compilato
+  \item[\errcode{ENOSYS}] il supporto per \texttt{printk} non è stato compilato
     nel kernel.
   \end{errlist}
   ed inoltre \errval{EBADF} ed \errval{ENOSYS}.
@@ -2382,7 +2382,7 @@ Qui vanno le cose su \func{openpty} e compagnia.
 % LocalWords:  NOCTTY TIOCSCTTY error tcsetpgrp termios fd pgrpid descriptor VT
 % LocalWords:  ENOTTY ENOSYS EBADF SIGTTIN SIGTTOU EIO tcgetpgrp crypt SIGTSTP
 % LocalWords:  SIGINT SIGQUIT SIGTERM SIGHUP hungup kill orphaned SIGCONT exit
-% LocalWords:  init Slackware run level inittab fig device getty exevle TERM at
+% LocalWords:  init Slackware run level inittab fig device getty TERM at
 % LocalWords:  getpwnam chdir home chown chmod setuid setgid initgroups SIGCHLD
 % LocalWords:  daemon like daemons NdT Stevens Programming FAQ filesystem umask
 % LocalWords:  noclose syslog syslogd socket UDP klogd printk printf facility