Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 23/02/2013, à 15:13

aramisqc

[RÉSOLU] gedit : terminal non utilisable

Bonjour,

Ubuntu 12.10

Greffons pour gedit installés. Dans le panneau inférieur, j'ai l'onglet TERMINAL. Mais celui-ci est inutilisable alors que dans geany après installation de libvte9, le terminal est disponible et fonctionnel.

Une idée ?

Dernière modification par aramisqc (Le 25/02/2013, à 01:38)

Hors ligne

#2 Le 23/02/2013, à 15:39

Maisondouf

Re : [RÉSOLU] gedit : terminal non utilisable

Il vient d'où le greffon ?


ASUS M5A88-v EVO avec AMD FX(tm)-8120 Eight-Core Processor,  OS principal Precise 12.04.1 LTS 63bits½
Bricoleur, menteur, inculte, inadapté social et mythomane, enfin d'après certains....
"the secret of my form is summed up in two words, no sport" (Winston Churchill)

Hors ligne

#3 Le 23/02/2013, à 20:45

aramisqc

Re : [RÉSOLU] gedit : terminal non utilisable

apt-cache show gedit-plugins
Package: gedit-plugins
Priority: optional
Section: universe/gnome
Installed-Size: 4258
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Architecture: amd64
Version: 3.6.0-0ubuntu1
Depends: libc6 (>= 2.2.5), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.32.0), libgtk-3-0 (>= 3.4.0), libgtksourceview-3.0-0 (>= 3.0.0), libpeas-1.0-0 (>= 1.0.0), dconf-gsettings-backend | gsettings-backend, python (>= 2.7.1-0ubuntu2), python2.7, gedit, gir1.2-gucharmap-2.90, gir1.2-peas-1.0, gir1.2-vte-2.90, gir1.2-glib-2.0, gir1.2-gtk-3.0, gir1.2-pango-1.0, gir1.2-gtksource-3.0
Suggests: zeitgeist-datahub
Filename: pool/universe/g/gedit-plugins/gedit-plugins_3.6.0-0ubuntu1_amd64.deb
Size: 1556444
MD5sum: d57c1e4de858a257040c67e92e0bed65
SHA1: 0cc1cabdf949c703a82a828a1caa3146ea844ec7
SHA256: ef37ebc22c36537b9b33ae12bbf5205eaefb6b446ced6cf1da67dc4480f5d079
Description-en: set of plugins for gedit
 gedit-plugins contain a set of plugins for gedit, GNOME's text editor.
 .
 The following plugins are included:
  * Color Picker: Pick a color from a dialog and insert its hexadecimal representation.
  * Draw Spaces: Draw Spaces and Tabs
  * Commander: Command line interface for advanced editing
  * Join/Split Lines: Join several lines or split long ones
  * Bookmarks: Easy document navigation with bookmarks
  * Dashboard: A Dashboard for new tabs
  * Embedded Terminal: Embed a terminal in the bottom pane.
  * Character Map: Insert special characters just by clicking on them.
  * Word Completion: Word completion using the completion framework
  * Smart Spaces: Forget you're not using tabulations.
  * Session Saver: Save and restore your working sessions
  * Tag list: Provides a method to easily insert commonly used tags/strings into a document without having to type them.
  * Multi Edit: Edit document in multiple places at once
  * Text Size: Easily increase and decrease the text size
  * Bracket Completion: Automatically adds closing brackets.
  * SyncTeX: Synchronize between LaTeX and PDF with gedit and evince.
  * Code comment: Comment out or uncomment a selected block of code.
Homepage: http://live.gnome.org/Gedit/Plugins
Description-md5: b1d36c2145a39cc5500b5dcf87806c56
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu

Hors ligne

#4 Le 23/02/2013, à 22:01

Maisondouf

Re : [RÉSOLU] gedit : terminal non utilisable

C'est le même que j'ai...
Moi le terminal fonctionne, mais il affiche en blanc sur fond gris très clair, donc je ne vois rien.
3e72b9e28f19a3c82921c0179e6fdtt.jpg


ASUS M5A88-v EVO avec AMD FX(tm)-8120 Eight-Core Processor,  OS principal Precise 12.04.1 LTS 63bits½
Bricoleur, menteur, inculte, inadapté social et mythomane, enfin d'après certains....
"the secret of my form is summed up in two words, no sport" (Winston Churchill)

Hors ligne

#5 Le 23/02/2013, à 23:03

aramisqc

Re : [RÉSOLU] gedit : terminal non utilisable

En effet, je n'avais pas noté cet aspect. Un bogue du plugin probablement ou un truc à configurer quelque part. Il faut rechercher sur le Net et si on ne trouve rien demander de l'aide. Faut-il passer par le launchpad pour signaler un problème ?

Hors ligne

#6 Le 24/02/2013, à 15:10

Maisondouf

Re : [RÉSOLU] gedit : terminal non utilisable


ASUS M5A88-v EVO avec AMD FX(tm)-8120 Eight-Core Processor,  OS principal Precise 12.04.1 LTS 63bits½
Bricoleur, menteur, inculte, inadapté social et mythomane, enfin d'après certains....
"the secret of my form is summed up in two words, no sport" (Winston Churchill)

Hors ligne

#7 Le 25/02/2013, à 01:38

aramisqc

Re : [RÉSOLU] gedit : terminal non utilisable

Merci pour cette astuce. Tout est OK maintenant.

Un peu dommage que quelques outils de configuration manquent à Unity.

Hors ligne