Terminal preference can select a terminal that is not installed, so another one opens

[kacperpaczos]

I set GNOME Console as my preferred terminal, but every action that opens a terminal (Open Terminal, Upgrade Box, the installs) opens Konsole instead. It looked like the preference was simply ignored.

What is actually going on: GNOME Console (kgx) is not installed on this machine. get_terminal_and_separator_arg checks whether the chosen terminal is on PATH (or installed as a flatpak) and, when it is not, silently walks the supported list and uses the first one it finds — here that is Konsole. So the preference is honoured if it can be, but the popup happily offers every supported terminal, installed or not, and nothing tells you your choice cannot be used.

Steps:

1. Have e.g. Konsole installed but not GNOME Console.
2. Menu → Set Preferred Terminal → pick "GNOME Console" → Save (toast says it was saved).
3. Open Terminal on any box → Konsole opens.

Expected: either only terminals that can actually be used are offered, or the popup says which ones are not installed. Offering only the installed ones seems simplest — then the selection shown is the terminal that will really run.

distrobox 1.8.2.5, BoxBuddy master (2fff7b9), Fedora 44 / KDE Plasma.