如何从命令行更改 gnome-terminal 回滚行

如何从命令行更改 gnome-terminal 回滚行

使用 Ubuntu 22.04。我想gnome-terminal从命令行更改回滚行。

我知道可以从终端->设置(汉堡按钮)->偏爱->个人资料->未命名->滚动, 像这样:

偏好设置 - 个人资料未命名

我希望能够执行相同的操作,但使用命令行。我正在寻找一种可以与 GUI 选项同步工作的解决方案,而不是覆盖它。这个想法是,如果一段时间后我忘记从 CLI 设置了该选项,我应该能够从“首选项”->“配置文件”->“未命名”->“滚动”更改其值。

答案1

这可以通过 来完成gsettings

限制回滚至 250,000 行:

gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/ scrollback-lines 250000

最大值scrollback-lines2147483647,默认值为10000

启用无限回滚:

gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/ scrollback-unlimited true

怎么运行的:

gsettings 为 GSettings 提供了一个简单的命令行界面。它允许您获取、设置或监控单个键的更改。

大多数命令都需要 SCHEMA 和 KEY 参数来指定架构 ID 和要操作的键的名称。架构 ID 可以有 :PATH 后缀。仅当架构没有固定路径时才需要指定路径。

设置键时,您还需要指定一个值。值的格式是序列化的 GVariant 格式,因此例如字符串必须包含显式引号:“'foo'”。打印值时也使用此格式。

我们正在org.gnome.Terminal.Legacy.Profile使用SCHEMA

我们需要的:PATH/org/gnome/terminal/legacy/profiles:/:[target-profile-id]/正在[target-profile-id]编辑的配置文件的 ID。该命令gsettings get org.gnome.Terminal.ProfilesList default获取默认配置文件的 ID,并从响应中tr -d \'删除。'

要更改终端回滚行数, 是,KEY我们scrollback-lines将其设置VALUE250000,即我们希望能够回滚的行数。根据我们是否要启用或禁用无限回滚,我们使用scrollback-unlimitedasKEY或as 。truefalseVALUE

有关的:

如果您担心资源使用情况,请查看此帖子:Gnome 终端回滚行?

相关内容