Correzioni

diff --git a/session.tex b/session.tex
index 7a77919662b2735e62c309ee752a8b4dc1c304be..ac90872704e0153be378d4f12906e94268fd7067 100644 (file)
--- a/session.tex
+++ b/session.tex
@@ -44,7 +44,7 @@ Originariamente si trattava di dispositivi specifici (i terminali seriali, se
 non addirittura le telescriventi). Oggi questa interfaccia viene in genere
 emulata o tramite programmi o con le cosiddette console virtuali associate a
 monitor e tastiera, ma esiste sempre la possibilità di associarla direttamente
-a dispositivi specifici lelinee seriali, che in certi casi, come avviene per
+a dispositivi specifici come le linee seriali, che in certi casi, come avviene per
 buona parte dei dispositivi embedded su cui gira Linux come router, access
 point, ecc. sono l'unica opzione per una avere una \textit{console} di
 sistema.
@@ -2520,7 +2520,7 @@ Qui vanno le cose su \func{openpty} e compagnia.
 % TODO materiale generico sul layer TTY
 % vedi http://www.linusakesson.net/programming/tty/index.php
 
-% LocalWords:  kernel multitasking job control BSD POSIX shell sez group
+% LocalWords:  kernel multitasking job control BSD POSIX shell sez group SysV
 % LocalWords:  foreground process bg fg waitpid WUNTRACED pgrp session sched
 % LocalWords:  struct pgid sid pid ps getpgid getpgrp unistd void errno int
 % LocalWords:  ESRCH getsid glibc system call XOPEN SOURCE EPERM setpgrp EACCES
@@ -2558,7 +2558,7 @@ Qui vanno le cose su \func{openpty} e compagnia.
 % LocalWords:  closelog dmesg sysctl klogctl sys ERESTARTSYS ConsoleKit to CoPy
 % LocalWords:  loglevel message libc klog mydmesg CAP ADMIN LXC pipelining UID
 % LocalWords:  TIOCSPGRP GID IUTF UTF LOBLK NONBLOCK CMSPAR MARK VDSUSP VSTATUS
-% LocalWords:  cfsetspeed raw cfmakeraw
+% LocalWords:  cfsetspeed raw cfmakeraw dell'I SVr l'I
 
 %%% Local Variables: 
 %%% mode: latex