Correzioni varie e trattazione shared subtree, aggiornamento di mount,

[gapil.git] / signal.tex

diff --git a/signal.tex b/signal.tex
index 5bc9aff1caf98a15d2ab65b30dd90659854a17bf..6daea447870206813dc0abeb3a81844b9eadc2b5 100644 (file)
--- a/signal.tex
+++ b/signal.tex
@@ -700,7 +700,7 @@ in cui si trattano gli argomenti relativi.  Questi segnali sono:
   La maggior pare dei programmi non hanno necessità di intercettare il
   segnale, in quanto esso è completamente trasparente rispetto all'esecuzione
   che riparte senza che il programma noti niente. Si possono installare dei
   La maggior pare dei programmi non hanno necessità di intercettare il
   segnale, in quanto esso è completamente trasparente rispetto all'esecuzione
   che riparte senza che il programma noti niente. Si possono installare dei

-  gestori per far si che un programma produca una qualche azione speciale
+  gestori per far sì che un programma produca una qualche azione speciale

   se viene fermato e riavviato, come per esempio riscrivere un prompt, o
   inviare un avviso. 
 
   se viene fermato e riavviato, come per esempio riscrivere un prompt, o
   inviare un avviso.