Set Gnome Terminal font using dconf

export_or_import.md

Export gnome terminal settings

dump gnome terminal settings

dconf dump /org/gnome/terminal/legacy/profiles:/

[:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
foreground-color='rgb(131,148,150)'
visible-name='wention'
palette=['rgb(46,52,54)', 'rgb(204,0,0)', 'rgb(78,154,6)', 'rgb(196,160,0)', 'rgb(52,101,164)', 'rgb(117,80,123)', 'rgb(6,152,154)', 'rgb(211,215,207)', 'rgb(85,87,83)', 'rgb(239,41,41)', 'rgb(138,226,52)', 'rgb(252,233,79)', 'rgb(114,159,207)', 'rgb(173,127,168)', 'rgb(52,226,226)', 'rgb(238,238,236)']
use-system-font=false
cursor-colors-set=false
highlight-colors-set=false
use-theme-colors=false
font='Ubuntu Mono derivative Powerline Plus Nerd File Types 13'
use-theme-transparency=true
bold-color-same-as-fg=true
background-color='rgb(0,43,54)'
audible-bell=true

dump profile b1dcc9dd-5262-4d8d-a863-c897e6d979b9

dconf dump /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ > wention.profile

To restore the profile

dconf load /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ < wention.profile

set_gnome_terminal_font.sh

#!/bin/bash

# Change default font for gnome terminal
dconf write /org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default)/font "'Ubuntu Mono derivative Powerline Plus Nerd File Types 13'"