1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-23 03:29:45 +01:00

xdg-desktop-entries: allow terminal to be null

This commit is contained in:
Lin Xianyi 2024-07-11 05:13:46 +08:00 committed by GitHub
parent f79d950ac2
commit 57d85c6c6d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -51,7 +51,7 @@ let
terminal = mkOption { terminal = mkOption {
description = "Whether the program runs in a terminal window."; description = "Whether the program runs in a terminal window.";
type = types.bool; type = types.nullOr types.bool;
default = false; default = false;
}; };