If you've never opened gnome-terminal, then xdg-terminal-exec does prefer ptyxis even if both are instealled.
However, if you've ever opened gnome-terminal and no other terminal was set as user-default, it will intrusively set itself as the user default terminal. This choice will persist even now that we've changed the system-wide default terminal to be ptyxis, because user-default has priority over system-default. We could use a session-migration script to undo the user-specific changes done by gnome-terminal, but we wouldn't be able to distinguish between the user explicitely setting gnome-terminal as their default terminal from its Preferences window, and gnome-terminal settings itself as the default terminal on startup because yes... -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2121943 Title: xdg-terminal-exec prefers gnome-terminal over ptyxis To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xdg-terminal-exec/+bug/2121943/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
