This patch also replaces run_command_terminal with gnome-terminal, meaning that people who've selected a custom terminal launch command will see changed behaviour. That seems suboptimal. Based on this and pitti's translation objection, I'm rejecting the upload for now, this needs further discussion (or localisation to just gnome-shell for now).
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/952223 Title: Ctrl+Alt+T doesn't open the terminal in GNOME Shell To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/metacity/+bug/952223/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
