After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 753194 - Feature request: Shortcut for switch profiles
Feature request: Shortcut for switch profiles
Status: RESOLVED OBSOLETE
Product: gnome-terminal
Classification: Core
Component: Keybindings
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on: 774710
Blocks:
 
 
Reported: 2015-08-03 19:54 UTC by Petr Czepiec
Modified: 2021-06-10 20:59 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Petr Czepiec 2015-08-03 19:54:04 UTC 
Hi,

many rejected requests was keyboard shortcuts to some functions which can be set in profiles.
But it can be very useful to have shortcut for switching profiles (every profile can have a own number or toggle last two selected).

This functionality can be effective if you want switch between background color or transparency (e.g. you have transparency for read browser in background and you execute colored ls or grep command - often you can't read colored text).

Thanks!
Comment 1 Christian Persch 2015-09-26 18:49:23 UTC 
I guess we could add 'switch to profile X' to the keybindings in the keybindings editor (but with no keybinding defined by default).
Comment 2 GNOME Infrastructure Team 2021-06-10 20:59:17 UTC 
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/7587.