Ubuntu
apt package

  1. Bug #134858
  2. Comment #30

Comment 30 for bug 134858

Revision history for this message
Michael Vogt (mvo) wrote :

Thanks for the additional comments.

@LGB, Gregory Margo: what terminal do you use? I wonder if this is somehow releated to the environment, I do not see it here with gnome-terminal.