xdg.terminal-exec.settings

Home-Manager option

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.

type: attribute set of list of string
Default
{ }
Example
{ GNOME = [ "com.raggesilver.BlackBox.desktop" "org.gnome.Terminal.desktop" ]; default = [ "kitty.desktop" ]; }
declared in: <home-manager/modules/misc/xdg-terminal-exec.nix>source unavailable