Fixes font name in gnome profile

This commit is contained in:
2022-01-21 11:56:10 +01:00
parent 2556fcc74f
commit bad42e3181

View File

@@ -3,7 +3,7 @@ background-color='rgb(40,42,46)'
background-transparency-percent=21
bold-color-same-as-fg=true
custom-command='env TERM=xterm-direct /usr/bin/fish'
font='UbuntuMono Nerd Font 11'
font='UbuntuMono Nerd Font Mono 11'
foreground-color='rgb(197,200,198)'
login-shell=false
palette=['rgb(40,42,46)', 'rgb(204,102,102)', 'rgb(181,189,104)', 'rgb(240,198,116)', 'rgb(129,162,190)', 'rgb(178,148,187)', 'rgb(138,190,183)', 'rgb(150,152,150)', 'rgb(55,59,65)', 'rgb(255,153,153)', 'rgb(229,237,152)', 'rgb(255,246,164)', 'rgb(177,210,238)', 'rgb(226,196,235)', 'rgb(186,238,231)', 'rgb(197,200,198)']