programs.gnome-terminal: terminal options (#2042)
- Add support for showing bold as bright colors - Add support to configure the background transparency - Fix the scrollOnOutput, it was not being dumped to the config - Add tests! - Add myself as maintainermain
parent
1e8d0beae4
commit
e92f5bb79e
@ -0,0 +1 @@ |
||||
{ gnome-terminal-1 = ./gnome-terminal-1.nix; } |
@ -0,0 +1,34 @@ |
||||
[org/gnome/terminal/legacy] |
||||
default-show-menubar=false |
||||
schema-version=3 |
||||
theme-variant='default' |
||||
|
||||
[org/gnome/terminal/legacy/profiles:] |
||||
default='e0b782ed-6aca-44eb-8c75-62b3706b6220' |
||||
list=@as ['e0b782ed-6aca-44eb-8c75-62b3706b6220'] |
||||
|
||||
[org/gnome/terminal/legacy/profiles:/:e0b782ed-6aca-44eb-8c75-62b3706b6220] |
||||
allow-bold=true |
||||
audible-bell=true |
||||
background-color='#2E3436' |
||||
background-transparency-percent=5 |
||||
backspace-binding='ascii-delete' |
||||
bold-color-same-as-fg=true |
||||
bold-is-bright=true |
||||
cursor-blink-mode='off' |
||||
cursor-colors-set=false |
||||
cursor-shape='underline' |
||||
delete-binding='delete-sequence' |
||||
foreground-color='#D3D7C1' |
||||
highlight-colors-set=false |
||||
login-shell=false |
||||
palette=@as ['#000000','#AA0000','#00AA00','#AA5500','#0000AA','#AA00AA','#00AAAA','#AAAAAA','#555555','#FF5555','#55FF55','#FFFF55','#5555FF','#FF55FF','#55FFFF','#FFFFFF'] |
||||
scroll-on-output=false |
||||
scrollback-lines=1000000 |
||||
scrollbar-policy='never' |
||||
use-custom-command=false |
||||
use-system-font=true |
||||
use-theme-colors=false |
||||
use-theme-transparency=false |
||||
use-transparent-background=true |
||||
visible-name='kamadorueda' |
@ -0,0 +1,63 @@ |
||||
{ config, lib, pkgs, ... }: |
||||
|
||||
with lib; |
||||
|
||||
{ |
||||
config = { |
||||
nixpkgs.overlays = [ |
||||
(self: super: { |
||||
gnome.gnome-terminal = |
||||
pkgs.writeScriptBin "dummy-gnome3-gnome-terminal" ""; |
||||
}) |
||||
]; |
||||
|
||||
programs.gnome-terminal = { |
||||
enable = true; |
||||
profile = { |
||||
"e0b782ed-6aca-44eb-8c75-62b3706b6220" = { |
||||
allowBold = true; |
||||
audibleBell = true; |
||||
backspaceBinding = "ascii-delete"; |
||||
boldIsBright = true; |
||||
colors = { |
||||
backgroundColor = "#2E3436"; |
||||
foregroundColor = "#D3D7C1"; |
||||
palette = [ |
||||
"#000000" |
||||
"#AA0000" |
||||
"#00AA00" |
||||
"#AA5500" |
||||
"#0000AA" |
||||
"#AA00AA" |
||||
"#00AAAA" |
||||
"#AAAAAA" |
||||
"#555555" |
||||
"#FF5555" |
||||
"#55FF55" |
||||
"#FFFF55" |
||||
"#5555FF" |
||||
"#FF55FF" |
||||
"#55FFFF" |
||||
"#FFFFFF" |
||||
]; |
||||
}; |
||||
cursorBlinkMode = "off"; |
||||
cursorShape = "underline"; |
||||
default = true; |
||||
deleteBinding = "delete-sequence"; |
||||
scrollbackLines = 1000000; |
||||
scrollOnOutput = false; |
||||
showScrollbar = false; |
||||
transparencyPercent = 5; |
||||
visibleName = "kamadorueda"; |
||||
}; |
||||
}; |
||||
showMenubar = false; |
||||
}; |
||||
|
||||
nmt.script = '' |
||||
dconfIni=$(grep -oPm 1 '/nix/store/[a-z0-9]*?-hm-dconf.ini' $TESTED/activate) |
||||
TESTED= assertFileContent $dconfIni ${./gnome-terminal-1.conf} |
||||
''; |
||||
}; |
||||
} |
Loading…
Reference in new issue