如何在Ubuntu 13.10上激活Gedit终端插件?

我安装了以下软件包:

  • gedit
  • gedit-common
  • gedit-plugins

在安装了这些软件包的Ubuntu 12.04中,只需激活终端插件,然后按Ctrl + F9即可显示底部面板。 Ubuntu 13.10(Gedit 3.8.3)的情况并非如此,我无法弄清楚如何做到这一点。

在确定已安装gedit-plugins ,(重新)打开gedit并导航到编辑首选项并选择插件选项卡。 在这里你必须勾选嵌入式终端 。 然后,当您按Ctrl + F9时 ,终端将出现在底部窗格中:

嵌入式终端在gedit中

在Gedit中,在“文本编辑器”应用程序中从Ubuntu软件中心安装“gedit-plugins”和“gedit-developer-plugins”。

然后转到编辑首选项插件嵌入式终端 。 重新启动gedit然后按CTRL + F9 ,你会得到一个嵌入gedit的终端。

我在Ubuntu 14.04 LTS中试过这个。