- In genere lo si può pensare come corrispondente ad una condizione di
- errore del programma rilevata dall'utente. Per questo motivo non è opportuno
- fare eseguire al gestore di questo segnale le operazioni di pulizia
- normalmente previste (tipo la cancellazione di file temporanei), dato che in
- certi casi esse possono eliminare informazioni utili nell'esame dei core
- dump.\itindex{core~dump}
+ In genere lo si può pensare come corrispondente ad una condizione di errore
+ del programma rilevata dall'utente. Per questo motivo non è opportuno fare
+ eseguire al gestore di questo segnale le operazioni di pulizia normalmente
+ previste (tipo la cancellazione di file temporanei), dato che in certi casi
+ esse possono eliminare informazioni utili nell'esame dei \textit{core dump}.
+ \itindex{core~dump}