Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- $ gsettings get org.gnome.Terminal.ProfilesList list
- ['b1dcc9dd-5262-4d8d-a863-c897e6d979b9', 'd2a064f8-146d-45b5-8da7-d7e2f34da77e', 'aaaaaaaa-aaaa-aaaa-aaaa-aaaaaaaaaaaa']
- $ gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font
- 'Noto Mono Bold 12'
- $
Add Comment
Please, Sign In to add comment