红联Linux门户
Linux帮助

/usr/pkgsrc/devel/devhelp的一个小patch

发布时间:2006-08-16 09:15:25来源:红联作者:cxtt228
  pkgsrc里的devhelp是0.7版本的,相当老,默认使用gtkhtml2来显示HTML,速度快。
试用过最新的0.11版,没什么新功能,速度却慢了很多--用FIREFOX的GTK2 WIDGET。
所以还是换回来。
  0.7版有个小BUG,当你打开多个HTML的时候,会发生“打开文件太多”的错误,导致程序不可用。
做了个简单的PATCH:
引用:
assiss % cat patches/patch-ad
--- src/dh-html-gtkhtml2.c.orig 2006-08-09 19:44:10.000000000 +0000
+++ src/dh-html-gtkhtml2.c 2006-08-09 20:06:37.000000000 +0000
@@ -247,6 +247,7 @@
READER_QUEUE_TYPE_FINISHED);
g_async_queue_push (priv->thread_queue, q_data);
+ gnome_vfs_close(handle);
return NULL;
}

  使用方法:
  1、加到文件patch/patch-ad中
  2、cd /usr/pkgsrc/devel/devhelp && make mdi刷新distinfo
  3、make install
文章评论

共有 0 条评论