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