From cd86c2638be801358d527bc30678425e489cd32a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebasti=C3=A1n=20Estrella?= <2049686+sestrella@users.noreply.github.com> Date: Sun, 27 Dec 2020 10:09:59 -0500 Subject: [PATCH] gnome-terminal: Add audibleBell option (#1671) Turn on/off the terminal's bell --- modules/programs/gnome-terminal.nix | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/modules/programs/gnome-terminal.nix b/modules/programs/gnome-terminal.nix index dec2a10c..1754edd9 100644 --- a/modules/programs/gnome-terminal.nix +++ b/modules/programs/gnome-terminal.nix @@ -228,11 +228,18 @@ let ''; }; + + audibleBell = mkOption { + default = true; + type = types.bool; + description = "Turn on/off the terminal's bell."; + }; }; }); buildProfileSet = pcfg: { + audible-bell = pcfg.audibleBell; visible-name = pcfg.visibleName; scrollbar-policy = if pcfg.showScrollbar then "always" else "never"; scrollback-lines = pcfg.scrollbackLines;