Ubuntu
gnome-terminal package

  1. Bug #532511
  2. Comment #6

Comment 6 for bug 532511

Revision history for this message
Martin Pitt (pitti) wrote :

Instead of creating a new profile and switching users to it, can we change the default profile in the schema instead?

For that to work, we need to

 * fix g-t to not set user-specific keys unless you change them (it does right now)

 * change the migration patches to unset user specific keys if they are equal to the (old) default, to fix the first problem for upgrades.

Is that feasible?