Configuration options for the Default Terminal Execution Specification.
The keys are the desktop environments that are matched (case-insensitively) against $XDG_CURRENT_DESKTOP, or default which is used when the current desktop environment is not found in the configuration. The values are a list of terminals' desktop file IDs to try in order of decreasing priority.
Declarations
Type
attribute set of list of stringDefault
{ }Example
{
GNOME = [
"com.raggesilver.BlackBox.desktop"
"org.gnome.Terminal.desktop"
];
default = [
"kitty.desktop"
];
}