If I'm running gnome-terminal with multiple tabs open, is it possible to switch the profile of a given tab at the bash prompt, with instant effect, and without altering the profile of the other tabs?
I understand how to use gconftool or gconftool-2 to change elements of a profile (such as the background), but I don't know how to actually switch the profile for a specific tab or window.
Any advice is appreciated.
It does not your question in particular, but since it might help others, I leave it here regardless.
If there was a way to change the current profile, you could have different profiles for each tab.
You can list all existing profiles using:
gconftool-2 --all-dirs /apps/gnome-terminal/profiles
You can get the current profile using:
gconftool-2 --get /apps/gnome-terminal/global/default_profile
And you can set a new default profile (solarized-light
in this case) using:
gconftool-2 --set --type string /apps/gnome-terminal/global/default_profile solarized-light