在SWI-Prolog中关闭XPCE

时间:2016-04-15 07:10:05

标签: emacs swi-prolog xpce

我想在我的Emacs缓冲区中获取apropos/1help/1等的输出,而不是XPCE窗口。我在Linux下使用SWI-Prolog。

我尝试过:

  • 在init文件(~/.plrc)中设置标志:

    :- set_prolog_flag(gui, false).
    :- set_prolog_flag(xpce, false).
    
  • 使用swipl标记呼叫--nopce(查看/usr/lib/swi-prolog/xpce.rc的狂野猜测)

  • ssh localhost,有效地模拟了一个仅限终端的机器,但是必须有更好的解决方案......

是的,我可以卸载swi-prolog-x包,但我可能希望将来编写GUI程序。理想情况下,我只想关闭文档/调试的GUI。

修改

我发现了解决方案的一部分:目标online_help:give_help/1online_help:give_apropos似乎是我需要的。我只需要将这些内容重新挂钩到helpapropos,也许可以通过prolog:help_hook/1。有什么想法吗?

1 个答案:

答案 0 :(得分:3)

[~]# unset DISPLAY

swipl --nopce 

这是一个未记录的标志......通常它仅在构建系统时使用