Facendo clic sul numero appropriato, scegliamo il terminale che sarà il nostro predefinito 20.04

sudo update-alternatives --config x-terminal-emulator 20.04.
sudo update-alternatives --config x-terminal-emulator.

sudo update-alternatives --config x-terminal-emulator:

sudo update-alternatives --config x-terminal-emulator:

Facendo clic sul numero appropriato, scegliamo il terminale che sarà il nostro predefinito