お知らせ

  • 利用規約を守って投稿してください。また、よくある質問および投稿の手引きも参照してください。
  • メッセージの投稿にはアカウントが必要です。未登録の方は、ユーザ登録ページからアカウントを作成することができます。

#1 2013-12-26 18:55:08

YuuTKN
新しいメンバ
登録日: 2013-04-19

gnome-terminalの背景色の更新?タイミングに関して

こんにちは,タイトルのようにUbuntu標準の端末での挙動に関して質問させていただきたく投稿をしました.

gnome-terminalに関してです.設定はデフォルトからフォント以外は変更していません.
問題を簡潔に述べると,文字の背景色の設定を(おそらく)するようなコマンドを実行したあとに,
pager系を使うと以前設定されていた背景色が一部残って?しまうというものです.
Ubuntu12.04を利用している2台のデスクトップ及びノートPCで全く同じ現象が起きています.

例えば,私はコマンドライン上でvim等を用いる際に,背景色が設定されるようなカラースキーム(例えばzenburnなど)を用いており,
これ自体は問題なく表示されているのですが,vimを終了または停止させたあとにmanやless,git logなどを使った際の表示が,
文字の背景色はデフォルトのUbuntuの紫色であるものの,文字のない背景部分にカラースキームで設定された背景色が残ってしまっています.
ctrl-lで表示をクリアすれば問題なく表示されますし,端末としての動作そのものには全く害はないのですが,
なんとも見た目が気持ちよくない感じになってしまいます.

背景色変更→pager的挙動をするコマンド,でまんべんなく起こるようなのですが,
上記のようなgnome-terminalの文字の背景色の挙動に関してなにか解決策,
もしくは解決できなさそうであれば原因と思しき心当たりはありますでしょうか.

オフライン

 

#2 2013-12-28 14:05:41

katsu07
ゲスト

Re: gnome-terminalの背景色の更新?タイミングに関して

ubuntu 13.10のリリース前から報告はされており、上流にもあがっていてパッチもあります。
バグのステータスは"Triaged"になっています。

ubuntu 12.04.3で試してみましたが、再現します。
試しにubuntu 12.04.3のlibvte-2.90-9のパッケージソースにパッチを入力してパッケージを作り直しインストールすると改善されました。
lauchpadのバグ報告にコメントして左上のaffect meをクリックしましょう。

 

#3 2013-12-28 14:14:38

katsu07
ゲスト

Re: gnome-terminalの背景色の更新?タイミングに関して

肝心のバグ報告が抜けていました・・・
たぶん以下のバグだと思います。
https://bugs.launchpad.net/ubuntu/+sour … ug/1231787
https://bugzilla.gnome.org/show_bug.cgi?id=709930

 

#4 2013-12-29 02:19:36

YuuTKN
新しいメンバ
登録日: 2013-04-19

Re: gnome-terminalの背景色の更新?タイミングに関して

返事が遅れてしまい申し訳ありません.バグ報告されていたのですね…
情報ありがとうございました.参考にがんばります.

オフライン

 

Board footer

Powered by FluxBB