Ultimamente capita sempre piu' spesso che mi sparisca tilda (una console che appare al semplice premere il tasto F1).

Se provo a lanciarla da terminale ottengo un bel segmentation fault (core dump).

Soluzione: rimuovere o rinominare la cartella ~/.tilda