Regardless of the default, it sounds like we will need to publish
instructions (like in the release notes) on how to change it. So
assuming we're already going to do that, I think forcing the default to
Ptyxis is fine. Or else one could go a very long time without even
noticing the new terminal exists.

-- 
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

Reply via email to