X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=session.tex;h=12bee817e586761a5c2c01a384799d2ea94725cd;hp=78b60ecb9cf2475500e13dbdf7e3518e034ba815;hb=c6c3ca02fdb433ef054e56f288d50d74ce8ec4ec;hpb=b858e85ae93ce4b590459f9583474ce0d5c14a46

diff --git a/session.tex b/session.tex
index 78b60ec..12bee81 100644
--- a/session.tex
+++ b/session.tex
@@ -71,7 +71,7 @@ Si noti come si sia parlato di comandi e non di programmi o processi; fra le
 funzionalità della shell infatti c'è anche quella di consentire di concatenare
 più programmi in una sola riga di comando con le pipe, ed in tal caso verranno
 eseguiti più programmi, inoltre, anche quando si invoca un singolo programma,
-questo potrà sempre lanciare sottoprocessi per eseguire dei compiti specifici.
+questo potrà sempre lanciare sotto-processi per eseguire dei compiti specifici.
 
 Per questo l'esecuzione di un comando può originare più di un processo; quindi
 nella gestione del job control non si può far riferimento ai singoli processi.