いつの頃からか xfce terminal が時々遅延するようになった。正確に言うと、キー入力をしないと画面が更新されないようになった。適当に矢印なりスペースなりを押せばよいのだが、y/n しか期待していないようなところにスペースを押したせいで exit してしまうケースもあって不便していた。ふと思いついて gnome-terminal を起動してみたらこちらでは何も問題がない。いずれ解決されるのであろうが、しばらくは gnome-terminal を使ってみよう。