Wolfram Sang wrote: > > 2. restart your computer (sometimes it helps) > > That should never be needed. Indeed. Just log out, and log back in. In fact, closing and opening your terminal emulator window may be quite enough. //Peter