Detlef,
Try my workaround in comment #10. Just remember that this change will not take effect until all terminals are closed, or perhaps it requires you to log out and back in.
Detlef,
Try my workaround in comment #10. Just remember that this change will not take effect until all terminals are closed, or perhaps it requires you to log out and back in.