Salve a tutti. Qualcuno saprebbe dirmi cosa sono i file "core.xxx" (es. core.1234) che mi trovo nelle directory, e che a volte sono anche molto grandi? a cosa servono e posso cancellarli ? scusate per la domanda da neofita, ma sono "veramente" un neofita di linux ! Grazie Luigi