faire du terminal Kitty le terminal par défaut sur Ubuntu
sudo update-alternatives --install /usr/bin/x-terminal-emulator x-terminal-emulator `which kitty` 50
sudo update-alternatives --config x-terminal-emulator
gdfelt