如何增加SWI终端内存?

问题描述 投票:0回答:1

执行一个(或多个)向标准输出写入过多的查询后,无法读取“最旧”的行。也就是说-过一会儿,向上滚动将不会显示超过一点的线。

是否可以增加SWI Prolog终端的“内存”中的行数?

swi-prolog
1个回答
0
投票

这与swi shell本身没有太大关系。 swi shell通常只会将字符写入标准输出通道。它取决于终端程序本身(通常不由swi本身实现)。捕获该输出并对其进行处理,例如显示它。

例如,标准Ubuntu terminal has an option to allow "unlimited scrolling"。对于其他端子,例如konsole,也有类似的选项。例如,请参见herehere

[一种替代方法是使用类似tee [wiki]的程序,该程序会将输出打印到终端,并将其存储在文件(或其他程序)中。

如果终端没有快速移动,您可以在大多数终端中使用Scroll Lock暂时“冻结”滚动,从而使您有机会查看内容。但是,这确实会not暂停程序本身,并且如果再次按Scroll Lock,则无法再检索其间已刷新出滚动缓冲区的生成的输出。

© www.soinside.com 2019 - 2024. All rights reserved.