Laney pointed out that we should check that gnome-terminal doesn't get accidentally seeded somewhere.
$ seeded-in-ubuntu gnome-terminal gnome-terminal (from gnome-terminal) is seeded in: ubuntu-gnome: daily-live ubuntu: daily-live gnome-terminal-data (from gnome-terminal) is seeded in: ubuntu-gnome: daily-live ubuntu: daily-live $ seeded-in-ubuntu xterm xterm (from xterm) is seeded in: ubuntu-gnome: daily-live ubuntu-mate: daily-live ubuntukylin: daily-live ubuntustudio: dvd xubuntu: daily-live We should run these commands tomorrow to make sure things look right. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1720482 Title: Demote xterm to universe To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xterm/+bug/1720482/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
