View and edit terminal profile settings for font name/size, row size, and column size using a CLI (bash scripting)
-
Updated
Feb 28, 2023 - Shell
View and edit terminal profile settings for font name/size, row size, and column size using a CLI (bash scripting)
print gnome custom shortcut keys info
Add a description, image, and links to the gsettings topic page so that developers can more easily learn about it.
To associate your repository with the gsettings topic, visit your repo's landing page and select "manage topics."