Comment activer le plugin terminal Gedit sur Ubuntu 13.10?
J'ai les paquets suivants installés:
geditname__gedit-commongedit-plugins
Dans Ubuntu 12.04 avec ces paquetages installés, il suffisait d’activer le plugin terminal et la presse Ctrl+F9 pour montrer le panneau du bas. Ce n'est pas le cas avec Ubuntu 13.10 (Gedit 3.8.3) et je n'arrive pas à comprendre comment le faire.
Une fois que vous êtes certain que gedit-plugins est installé, (ré) ouvrez gedit et naviguez jusqu'à Edit → Préférences et sélectionnez Plugins tab. Ici, vous devez cocher Embedded Terminal. Puis quand vous appuierez sur Ctrl+F9, un terminal apparaîtra dans le volet inférieur:
Dans Gedit, installez les "gedit-plugins" et les "gedit-developer-plugins" à partir de Ubuntu Software Center dans l'application "Éditeur de texte".
Ensuite, allez à Edit, Préférences, Plugins, Embedded Terminal. Redémarrez gedit et appuyez simplement sur CTRL+F9 et vous obtiendrez un terminal intégré à gedit.
J'ai essayé cela dans Ubuntu 14.04 LTS.