From 7217577e144e6615c60250168c1221b39de6534e Mon Sep 17 00:00:00 2001 From: TrudeEH Date: Fri, 7 Feb 2025 08:58:39 +0000 Subject: [PATCH] Add gruvbox colors to GNOME's legacy terminal --- dconf-settings.ini | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dconf-settings.ini b/dconf-settings.ini index 9fffdece..58067d64 100644 --- a/dconf-settings.ini +++ b/dconf-settings.ini @@ -54,10 +54,10 @@ show-home=false locations=@av [] [org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9] -background-color='rgb(24,24,24)' +background-color='rgb(40,40,40)' cell-width-scale=1.0 font='JetBrainsMono Nerd Font 10' foreground-color='rgb(208,207,204)' -palette=['rgb(7,54,66)', 'rgb(220,50,47)', 'rgb(133,153,0)', 'rgb(181,137,0)', 'rgb(38,139,210)', 'rgb(211,54,130)', 'rgb(42,161,152)', 'rgb(238,232,213)', 'rgb(0,43,54)', 'rgb(203,75,22)', 'rgb(88,110,117)', 'rgb(101,123,131)', 'rgb(131,148,150)', 'rgb(108,113,196)', 'rgb(147,161,161)', 'rgb(253,246,227)'] +palette=['rgb(40,40,40)', 'rgb(204,36,29)', 'rgb(152,151,26)', 'rgb(215,153,33)', 'rgb(69,133,136)', 'rgb(177,98,134)', 'rgb(104,157,106)', 'rgb(168,153,132)', 'rgb(146,131,116)', 'rgb(251,73,52)', 'rgb(184,187,38)', 'rgb(250,189,47)', 'rgb(131,165,152)', 'rgb(210,133,154)', 'rgb(142,192,124)', 'rgb(235,219,178)'] use-system-font=false use-theme-colors=false