From 41f28497e36437c73171faad479917e5001170bf Mon Sep 17 00:00:00 2001 From: TrudeEH Date: Tue, 11 Mar 2025 17:03:12 +0000 Subject: [PATCH] Add custom profile settings for Ptyxis terminal --- dconf-settings.ini | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/dconf-settings.ini b/dconf-settings.ini index f2a8ba77..8bea7fde 100644 --- a/dconf-settings.ini +++ b/dconf-settings.ini @@ -68,3 +68,15 @@ foreground-color='rgb(208,207,204)' palette=['rgb(36,31,49)', 'rgb(192,28,40)', 'rgb(46,194,126)', 'rgb(245,194,17)', 'rgb(30,120,228)', 'rgb(152,65,187)', 'rgb(10,185,220)', 'rgb(192,191,188)', 'rgb(94,92,100)', 'rgb(237,51,59)', 'rgb(87,227,137)', 'rgb(248,228,92)', 'rgb(81,161,255)', 'rgb(192,97,203)', 'rgb(79,210,253)', 'rgb(246,245,244)'] use-system-font=false use-theme-colors=false + +[org/gnome/Ptyxis] +cursor-shape='block' +default-profile-uuid='e2f22120c44e38d269767ed967d0430c' +font-name='JetBrainsMono Nerd Font 10' +profile-uuids=['e2f22120c44e38d269767ed967d0430c'] +use-system-font=false + +[org/gnome/Ptyxis/Profiles/e2f22120c44e38d269767ed967d0430c] +bold-is-bright=false +label='Trude' +palette='Vs Code'