[Momonga-devel.ja:00799] Re: [Momonga-users.ja:00090] Re: [gnome-terminal] cannot change fontset


ほそのひでともです。devel.jaにふります。

  To: users.ja@xxxxxxxxxxxxxxxxx
  From: HOSONO Hidetomo <h@xxxxxxxx>
  Subject: [Momonga-users.ja:00090] Re: [gnome-terminal] cannot change fontset
  Date: Tue, 19 Nov 2002 16:05:10 +0900 (JST)
  
  >   > #代わりにvteを使ってみましょう。
  > 
  > 遅ればせながら使ってみました。
  > 日本語もきちんと出てくれますし、Gtk+2ベースだし:-)
  > ということで、満足です。
  > 
  > 感謝。

ってなんかおかしいなぁと思ったら、
現在のgnome-terminalって、

  BuildPrereq: vte-devel >= 0.10.1

されてるくせに、libvteがリンクされている形跡がないのですね。で、

  h@zero:~/src/redhat/BUILD/gnome-terminal-2.1.1$ ./configure --help | grep vte
    --with-widget=zvt/vte terminal widget to use

というわけで、直感的に
--with-widget=vteを追加すればよさそうに思うのですが、
こうなっていない理由
(たとえば「libvteをリンクさせるとすぐ落ちる」とか)
は何かあるのでしょうか?

--
ほそのひでとも