因为gedit-plugins : 依赖: gir1.2-zeitgeist-2.0
所以首先
1 | sudo apt-get install gir1.2-zeitgeist-2.0 |
如果报错可以先
1 | sudo apt-get update |
然后
1 | sudo apt-get install gedit-plugins |
在gedit的插件里面选中嵌入终端、单词补全等插件就行了
因为gedit-plugins : 依赖: gir1.2-zeitgeist-2.0
所以首先
1 | sudo apt-get install gir1.2-zeitgeist-2.0 |
如果报错可以先
1 | sudo apt-get update |
然后
1 | sudo apt-get install gedit-plugins |
在gedit的插件里面选中嵌入终端、单词补全等插件就行了