GNOME Terminal

  1. Bug #3923
  2. Comment #5

Comment 5 for bug 3923

Revision history for this message
Caspar Clemens Mierau (leitmedium) wrote :

I think this can also be applied by just starting gnome-terminal with a different "env" setting, so this can be closed as it is rather old, right?