如何从终端更改gedit首选项?
我正在准备一个bash文件来自动配置全新安装,并且希望gedit在没有手动配置首选项的情况下转到所需的形状。 如何从终端命令改变颜色和标签尺寸?
我不是一个gedit人,但你可以根据自己的喜好配置它,然后通过运行检查设置:
% gsettings list-recursively | grep gedit | head -10 org.gnome.gedit.state.file-filter filter-id 0 org.gnome.gedit.state.history-entry search-for-entry [''] org.gnome.gedit.state.history-entry replace-with-entry [''] org.gnome.gedit.state.window size (1280, 473) org.gnome.gedit.state.window state 128 org.gnome.gedit.state.window bottom-panel-active-page 0 org.gnome.gedit.state.window bottom-panel-size 140 org.gnome.gedit.state.window side-panel-active-page 228660812 org.gnome.gedit.state.window side-panel-size 200 org.gnome.gedit.plugins active-plugins ['filebrowser', 'modelines', 'docinfo', 'spell', 'zeitgeistplugin', 'time']
假设您要自定义org.gnome.gedit.plugins.pythonconsole
设置。
检查其当前值:
% gsettings list-recursively | grep 'org.gnome.gedit.plugins.pythonconsole font' org.gnome.gedit.plugins.pythonconsole font 'Monospace 10'
设置所需的新值:
% gsettings set org.gnome.gedit.plugins.pythonconsole font 'Monospace 11'
validation更改发生:
% gsettings list-recursively | grep 'org.gnome.gedit.plugins.pythonconsole font' org.gnome.gedit.plugins.pythonconsole font 'Monospace 11'
此时,您可以将设置添加到脚本中。