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 stringDefault
{ }Example
declared in: <home-manager/modules/misc/xdg-terminal-exec.nix>source unavailable{ GNOME = [ "com.raggesilver.BlackBox.desktop" "org.gnome.Terminal.desktop" ]; default = [ "kitty.desktop" ]; }