Indicizzati file sotto /proc, ed ulteriore materiale su ''inotify''.

[gapil.git] / session.tex

diff --git a/session.tex b/session.tex
index 4652bc5550a2db06f26cdeff816c2afef7252b54..da7aff4fb545c4ef7a4a447cc23dbfdd6216cb68 100644 (file)
--- a/session.tex
+++ b/session.tex
@@ -497,7 +497,7 @@ Nella maggior parte delle distribuzioni di GNU/Linux\footnote{fa eccezione la
   distribuzione \textit{Slackware}, come alcune distribuzioni su dischetto, ed
   altre distribuzioni dedicate a compiti limitati e specifici.}  viene usata
 la procedura di avvio di System V; questa prevede che \cmd{init} legga dal
   distribuzione \textit{Slackware}, come alcune distribuzioni su dischetto, ed
   altre distribuzioni dedicate a compiti limitati e specifici.}  viene usata
 la procedura di avvio di System V; questa prevede che \cmd{init} legga dal

-file di configurazione \file{/etc/inittab} quali programmi devono essere
+file di configurazione \conffile{/etc/inittab} quali programmi devono essere

 lanciati, ed in quali modalità, a seconda del cosiddetto \textit{run level},
 anch'esso definito nello stesso file.
 
 lanciati, ed in quali modalità, a seconda del cosiddetto \textit{run level},
 anch'esso definito nello stesso file.
 


@@ -527,7 +527,7 @@ perci
 tutto ripetuto per ciascuno dei terminali che si hanno a disposizione (o per
 un certo numero di essi, nel caso delle console virtuali), secondo quanto
 indicato dall'amministratore nel file di configurazione del programma,
 tutto ripetuto per ciascuno dei terminali che si hanno a disposizione (o per
 un certo numero di essi, nel caso delle console virtuali), secondo quanto
 indicato dall'amministratore nel file di configurazione del programma,

-\file{/etc/inittab}.
+\conffile{/etc/inittab}.

 
 Quando viene lanciato da \cmd{init} il programma parte con i privilegi di
 amministratore e con un ambiente vuoto; \cmd{getty} si cura di chiamare
 
 Quando viene lanciato da \cmd{init} il programma parte con i privilegi di
 amministratore e con un ambiente vuoto; \cmd{getty} si cura di chiamare


@@ -720,7 +720,7 @@ meccanismi come:
 \item scartare.
 \end{itemize*}
 secondo le modalità che questo preferisce e che possono essere impostate
 \item scartare.
 \end{itemize*}
 secondo le modalità che questo preferisce e che possono essere impostate

-attraverso il file di configurazione \file{/etc/syslog.conf} (maggiori
+attraverso il file di configurazione \conffile{/etc/syslog.conf} (maggiori

 dettagli si possono trovare sulle pagine di manuale per questo file e per
 \cmd{syslogd}).
 
 dettagli si possono trovare sulle pagine di manuale per questo file e per
 \cmd{syslogd}).