Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

gnome-terminal: Add audibleBell option (#1671)

Browse source 
Turn on/off the terminal's bell
This commit is contained in:
Sebastián Estrella 2020-12-27 10:09:59 -05:00 committed by GitHub
parent bcbf09a202
commit cd86c2638b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/programs/gnome-terminal.nix
View file

@ -228,11 +228,18 @@ let
</variablelist> </variablelist>
''; '';
}; };
audibleBell = mkOption {
default = true;
type = types.bool;
description = "Turn on/off the terminal's bell.";
};
}; };
}); });
buildProfileSet = pcfg: buildProfileSet = pcfg:
{ {
audible-bell = pcfg.audibleBell;
visible-name = pcfg.visibleName; visible-name = pcfg.visibleName;
scrollbar-policy = if pcfg.showScrollbar then "always" else "never"; scrollbar-policy = if pcfg.showScrollbar then "always" else "never";
scrollback-lines = pcfg.scrollbackLines; scrollback-lines = pcfg.scrollbackLines;