Risincronizzazione con la roba di casa

diff --git a/session.tex b/session.tex
index cdc557360e7171ba87bed6c0715662f15134bfd9..b629433ea10b3080ee7ac72b9fcdb74ff1836e38 100644 (file)
--- a/session.tex
+++ b/session.tex
@@ -59,15 +59,15 @@ comandi. Cos
 terminale (quello che viene detto in \textit{foreground}).
 
 Fra le funzionalità della shell c'è anche quella di consentire di concatenare
-più programmi in una sola riga di comando con le pipe, in tal caso, ed
-inoltre, anche quando si invoca un singolo programma, questo può sempre
-lanciare ulteriori sottoprocessi per eseguire dei compiti specifici.
-
-La shell farà si che tutti i processi che originano da un sola riga di
-comando vengano raggruppati in un unico \textit{process group}; questo perché
-i segnali inviati sul terminale con i comandi da tastiera (quelli illustrati
-in \secref{sec:sig_job_control}) vengono inviati a tutti i processi che fan
-parte del raggruppamento di \textit{foreground}, cioè quelli che stanno corre
+più programmi in una sola riga di comando con le pipe, in tal caso verranno
+eseguiti più programmi, inoltre, anche quando si invoca un singolo programma,
+questo può sempre lanciare ulteriori sottoprocessi per eseguire dei compiti
+specifici. In tutti qesti casi la shell farà sì che tutti i processi che
+originano da un sola riga di comando vengano raggruppati in un unico
+\textit{process group}; questo perché i segnali inviati sul terminale con i
+comandi da tastiera (quelli illustrati in \secref{sec:sig_job_control})
+vengono inviati a tutti i processi che fan parte del raggruppamento di
+\textit{foreground}, cioè quelli che stanno corre
 
 
 Per consentire l'utilizzo contemporaneo dello stesso terminale la shell deve