Image may be NSFW.
Clik here to view.
Clik here to view.
Answer by user145185 for How to change gnome-terminal profile preferences...
Anatoli's shorter versions did not give me the current value of the column width setting, they returned 80 even though the terminal had been set to 120.But Hakon's method worked perfectly.To get the...
View ArticleAnswer by Håkon Hægland for How to change gnome-terminal profile preferences...
The syntax to be used with the gsettings command is described in GNOME Terminal Frequently Asked Questions.First you need to find out the identifier of the profile you want to change. For example, the...
View ArticleHow to change gnome-terminal profile preferences using dconf or gsettings?
After upgrading form Ubuntu 14.10 to 15.10, it seems that changing gnome-terminal preferences using gconftool-2 is no longer supported. I guess this issue is related the Gconf to GSettings...
View Article
