Cambiare terminale preferito in Gnome 3

Altro giro ed altro dubbio atavico: ma se voglio cambiare il terminale di default in Gnome 3?

Beh niente di più facile cerco Applicazione preferite ed il gioco è fatto... Ahhh... Sbagliato. Non c'è più la selezione diretta delle applicazioni preferite, che si trovano ora in Informazioni di sistema -> Applicazioni preferite.

Ma con mio sommo stupore non esiste la voce che identifica il terminale preferito da modificare e prima di cadere nello sconforto ho pensato di affidarmi nuovamente a gsettings.

Quindi da terminale digitate un bel:

$ gsettings set org.gnome.desktop.default-applications.terminal exec terminal

Dove terminal è il nome del terminale che volete usare, nel mio terminator.

Altro scoglio superato, avanti col prossimo problema.