logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 22-06-2013 06:32:44

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Outils externes de gedit [Résolu]

Bonjour,

Suite à une mise à jour, les outils externes de gedit ont disparu: dans le menu "Outils", les onglets
"External tools" et "Manage external tools" qui existaient auparavant, n'existent plus. Cela m'ennuie beaucoup car j'avais soigneusement installé les outils de Denis LeFur et Christophe Grospellier pour Latex, Metapost et Asymptote, et j'ai souvent à m'en servir.

Heureusement j'ai gardé sur un disque externe une copie bootable de mon système lorsqu'il était encore sous squeeze, dans laquelle les outils externes de gedit sont présents. je pourrai toujours l'utiliser comme dépannage. Mais comment faire apparaître ces outils externes sous wheezy?

Bien cordialement,

C.-M. M.

Dernière modification par cmm (23-06-2013 15:11:34)

Hors ligne

#2 22-06-2013 17:31:37

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Re : Outils externes de gedit [Résolu]

Bonjour,

J'ai tenté de pratiquer la fuite en avant: puisque gedit ne marche pas bien sous wheezy, essayons jessie!
Hé bien, c'est raté!

J'ai fait une installation de jessie sur une partition  de mon disque dur préalablement vidée, en ayant soin de ne rien utiliser de mon installation précédente de wheezy, surtout pas les fichiers cachés de mon home. Dès l'installation terminée, je lance gedit. Hélas, bien que j'aie préalablement coché, dans "Préférences/Greffons, la case "Outils externes", le menu "Outils" ne contient pas "External tools" ni "Manage external tools", qui étaient présents dans le gedit de Squeeze.

Je me suis dit que peut-être il fallait pour que ce menu se complète mettre quelques outils dans le dossier .config/gedit. J'y ai mis les outils de Denis LeFur et Christophe Grospellier, j'ai redémarré gedit, toujours pas d'onglet "External tools"  dans le menu "Outils" de gedit. Je me suis dit qu'il fallait peut-être redémarrer l'ordinateur, je l'ai donc fait, mais çà n'a rien arrangé.

J'ai voulu voir comment cela se passait avec Ubuntu. J'ai donc installé la dernière version légère (xubuntu) sur une petite partition créée tout exprès en réduisant une autre partition. Hé bien, sur ce point au moins, Ubuntu marche beaucoup mieux que Debian! dans cette distribution, le menu "Outils" de gedit est au complet

Conclusion: je vais soit me convertir à Ubuntu (ce qui ne m'enchante guère car je suis bien habitué à Debian) soit réinstaller Squeeze sur mon ordinateur.

Décidément, je suis déçu par Debian 7: non seulement il vous installe un gedit bancal, mais aussi il gère beaucoup moins bien que son prédécesseur les media amovibles, comme je l'ai signalé dans un autre post (la fonction "Retirer le volume sans risque" de Nautilus ne marche plus, alors qu'elle marchait très bien sous Squeeze). Sur ce point d'aileurs, Ubuntu ne fait pas mieux: j'ai installé Nautilus dans xubuntu (dont le gestionnaire de fichiers est, à l'origine, Thunar), et dans cette distribution aussi, la fonction "Retirer le volume sans risque" ne marche plus. pareil avec Thunar, d'ailleurs.

Bonne soirée! 

C.-M. M.

Hors ligne

#3 22-06-2013 18:38:34

bract
Modérateur
Lieu : Pays du kiwi
Distrib. : wheezy
Noyau : 3.2.0-3 amd64
(G)UI : gnome 3.4.2 + lxde(eeepc)
Inscription : 05-02-2011

Re : Outils externes de gedit [Résolu]

Bonjour,
je ne connais pas ces outils, cependant via Édition> Préférences puis onglet Greffons,
j'ai activé "Outils externes"
depuis dans Outils, "External tools" et "Manage external tools" apparaissent wink

Dernière modification par bract (22-06-2013 18:39:40)


L'asso est lancée. cool
La connaissance s'acquiert par l'expérience, tout le reste n'est que de l'information.[Albert Einstein]

Hors ligne

#4 22-06-2013 19:18:17

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Re : Outils externes de gedit [Résolu]

Merci Bract,

Je suis un peu rassuré en apprenant que gedit se comporte bien chez toi, mais pourquoi est-ce que cela ne marche pas chez moi? est-il possible que j'aie abîmé wheezy en essayant d'installer un logiciel douteux?  J'ai installé cinnamon en suivant le wiki de Debian facile, mais finalement j'aime mieux Gnome classique. Mais alors pourquoi le même défaut apparaît-il dans une installation toute nouvelle de jessie? Est-il possible que cela vienne de mon ordinateur? non je ne crois pas puisque çà marche avec xubuntu qui a le même noyau que jessie.

Je vais regarder plus à fond la documentation de gedit, avant de me lancer encore dans une nouvelle installation. Rien ne presse car avec ma squeeze sur disque dur externe bootable, je peux travailler avec gedit.

Bien cordialement,

C.-M. M.

Hors ligne

#5 22-06-2013 20:24:51

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

Re : Outils externes de gedit [Résolu]

cmm,

ça marche avec xubuntu


Ne pas oublier que ubuntu manipule les paquets à sa sauce !


saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#6 23-06-2013 07:22:07

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Outils externes de gedit [Résolu]

Bonjour,

cmm a écrit :

mais pourquoi est-ce que cela ne marche pas chez moi?


En faisant Edition > Préférences, à l'onglet Greffons, tu n'as pas la case à cocher Outils externes ?


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#7 23-06-2013 07:30:45

deuchdeb
Moderato ma non troppo
Distrib. : Debian11-KDE-Plasma, LinuxMintCinnamon, DFLinux11
Noyau : Noyau stable
(G)UI : KDE Plasma 5.20
Inscription : 13-01-2010
Site Web

Re : Outils externes de gedit [Résolu]

Bonjour,

Il arrive parfois quand on passe d'une version à une autre des logiciels ne fonctionnent plus très bien.
On appelle ceci des régressions.
J'ai connu ceci avec Gthumb en passant de Lenny à squeeze.
Je fut fort embêté car j'aime tout particulièrement cet outil. Mais cela m'a permis de découvrir Digikam. Et maintenant c'est ce dernier que je favorise.

Tout ça pour dire qu'il n'est parfois pas justifié de tout réinstaller juste pour une petite chose qui ne fonctionne pas car il y a énormément d’alternatives sous Linux.
Dans ton cas par exemple: leafpad, Mousepad, Emacs, kedit, Kate.....

Dernière modification par deuchdeb (23-06-2013 07:31:29)


Une fleur, c'est magique non? smile
Association Debian Facile

Hors ligne

#8 23-06-2013 08:39:25

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Re : Outils externes de gedit [Résolu]

Bonjour, et merci à tous de chercher à m'aider.

Oui paskal, Dans "Préférences" de gedit, à l'onglet Greffons, j'ai bien une case à cocher "Outils externes", et je l'ai bien cochée. Malgré cela les outils externes n'apparaissent pas dans le menu Outils de gedit, même après redémarrage de l'ordinateur.

Merci deuchdeb pour tes conseils. Avant de découvrir les outils externes de gedit j'utilisais kile, qui n'est pas mal, mais moins bien que gedit lorsque les outils externes marchent. Je vais peut-être le réinstaller.

Cordialement,

C.-M. M.

Hors ligne

#9 23-06-2013 08:58:07

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Outils externes de gedit [Résolu]

cmm a écrit :

Malgré cela les outils externes n'apparaissent pas dans le menu Outils de gedit, même après redémarrage de l'ordinateur..


Il y a peut-être quelque chose à faire avant dans Configurer le greffon ?


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#10 23-06-2013 09:18:53

bract
Modérateur
Lieu : Pays du kiwi
Distrib. : wheezy
Noyau : 3.2.0-3 amd64
(G)UI : gnome 3.4.2 + lxde(eeepc)
Inscription : 05-02-2011

Re : Outils externes de gedit [Résolu]

Bonjour,
quelles sont tes versions de gedit gedit-common gedit-plugins ?
voici les miennes

~$ apt-cache policy gedit gedit-common gedit-plugins
gedit:
  Installé : 3.4.2-1
  Candidat : 3.4.2-1
 Table de version :
     3.4.2-1+b1 0
         90 http://ftp.fr.debian.org/debian/ sid/main amd64 Packages
 *** 3.4.2-1 0
        500 http://ftp.fr.debian.org/debian/ wheezy/main amd64 Packages
        100 /var/lib/dpkg/status
gedit-common:
  Installé : 3.4.2-1
  Candidat : 3.4.2-1
 Table de version :
 *** 3.4.2-1 0
        500 http://ftp.fr.debian.org/debian/ wheezy/main amd64 Packages
         90 http://ftp.fr.debian.org/debian/ sid/main amd64 Packages
        100 /var/lib/dpkg/status
gedit-plugins:
  Installé : 3.4.0-1
  Candidat : 3.4.0-1
 Table de version :
     3.4.0-1+b1 0
         90 http://ftp.fr.debian.org/debian/ sid/main amd64 Packages
 *** 3.4.0-1 0
        500 http://ftp.fr.debian.org/debian/ wheezy/main amd64 Packages
        100 /var/lib/dpkg/status
 


L'asso est lancée. cool
La connaissance s'acquiert par l'expérience, tout le reste n'est que de l'information.[Albert Einstein]

Hors ligne

#11 23-06-2013 11:26:58

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Re : Outils externes de gedit [Résolu]

Re-bonjour à tous,

Paskal, je ne savais pas qu'il y avait quelque chose à faire pour configurer les greffons. Où se trouve la commande à lancer?

Bract, voici mes versions de gedit, gedit-common et gedit-plugins (sous jessie, que j'utilise en ce moment; je regarderai quelles sont ces versions sous wheezy après avoir redémarré mon ordinateur).

charles@Lyra:~$ apt-cache policy gedit gedit-common gedit-plugins
gedit:
  Installé : 3.4.2-1+b1
  Candidat : 3.4.2-1+b1
 Table de version :
 *** 3.4.2-1+b1 0
        500 http://ftp.fr.debian.org/debian/ jessie/main amd64 Packages
        100 /var/lib/dpkg/status
gedit-common:
  Installé : 3.4.2-1
  Candidat : 3.4.2-1
 Table de version :
 *** 3.4.2-1 0
        500 http://ftp.fr.debian.org/debian/ jessie/main amd64 Packages
        100 /var/lib/dpkg/status
gedit-plugins:
  Installé : 3.4.0-1+b1
  Candidat : 3.4.0-1+b1
 Table de version :
 *** 3.4.0-1+b1 0
        500 http://ftp.fr.debian.org/debian/ jessie/main amd64 Packages
        100 /var/lib/dpkg/status
charles@Lyra:~$



Cordialement,

C.-M. M.

Hors ligne

#12 23-06-2013 11:34:25

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Outils externes de gedit [Résolu]

cmm a écrit :

Paskal, je ne savais pas qu'il y avait quelque chose à faire pour configurer les greffons


C'est une simple supposition car j'ai vu http://www.patdef.fr/Gedit-et-l-indenta … tique.html et http://doc.ubuntu-fr.org/ada#gedit


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#13 23-06-2013 11:41:31

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Re : Outils externes de gedit [Résolu]

Oui Paskal, il faut en effet configurer le greffon Outils externes et je sais comment le faire, à condition qu'il existe dans le menu Outils de gedit un onglet "gérer les outils externes ou en anglais "Manage external tools". Le problème vient justement de l'absence de cet onglet!

Brakt, voici mes versions de gedit, gedit-common et gedit-plugins sous wheezy:

charles@Lyra:~$ apt-cache policy gedit gedit-common gedit-plugins
gedit:
  Installé : 3.4.2-1
  Candidat : 3.4.2-1
 Table de version :
 *** 3.4.2-1 0
        500 http://ftp.fr.debian.org/debian/ wheezy/main amd64 Packages
        100 /var/lib/dpkg/status
gedit-common:
  Installé : 3.4.2-1
  Candidat : 3.4.2-1
 Table de version :
 *** 3.4.2-1 0
        500 http://ftp.fr.debian.org/debian/ wheezy/main amd64 Packages
        100 /var/lib/dpkg/status
gedit-plugins:
  Installé : 3.4.0-1
  Candidat : 3.4.0-1
 Table de version :
 *** 3.4.0-1 0
        500 http://ftp.fr.debian.org/debian/ wheezy/main amd64 Packages
        100 /var/lib/dpkg/status
charles@Lyra:~$
 

Hors ligne

#14 23-06-2013 12:18:20

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Outils externes de gedit [Résolu]

cmm a écrit :

Oui Paskal, il faut en effet configurer le greffon Outils externes et je sais comment le faire, à condition qu'il existe dans le menu Outils de gedit un onglet "gérer les outils externes ou en anglais "Manage external tools". Le problème vient justement de l'absence de cet onglet!


Et le bouton ne convient-il pas ?
1371986145.png


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#15 23-06-2013 13:07:46

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Re : Outils externes de gedit [Résolu]

En effet, j'ai bien coché cette case dans Préférences/Greffons, mais après arrêt puis réouverture de gedit, ou même redémarrage de l'ordinateur, cette case reste bien cochée, mais dans le menu Outils de gedit les outils externes n'apparaissent pas.

Hors ligne

#16 23-06-2013 13:25:06

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Outils externes de gedit [Résolu]

1371990259.png

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#17 23-06-2013 15:07:50

cmm
Adhérent(e)
Lieu : Meudon
Distrib. : Debian 11 bullseye
Noyau : Linux 5.10.0-8-amd64
(G)UI : mate
Inscription : 23-09-2008
Site Web

Re : Outils externes de gedit [Résolu]

Merci Paskal,

Chez moi cette fenêtre n'est pas exactement comme cela: il n'y a pas de bouton "Configurer le greffon", même quand je clique sur le greffon en question. Il y a à la place un bouton "à propos" et, à gauche de ce bouton mais en grisé (ce qui le rend inactif) un bouton "Préférences". Et le bouton "à propos" ne fait que renvoyer à la doc.

Mais j'ai résolu mon problème, par la force brutale: sur la partition qu'occupait jessie, j'ai refait une installation nouvelle de Wheezy. Et, ô miracle, cette fois gedit est tout à fait opérationnel, les onglets "External tools" et "Manage external tools" apparaissent dans le menu "Outils" une fois qu'on a activé le greffon "Outils externes". Pourquoi les noms de ces boutons sont-ils en anglais? mystère, mais ils fonctionnent.

Je ne comprends toujours pas ce qui s'est passé avec ma précédente version de wheezy (que j'ai toujours sur une partition) et avec jessie, mais maintenant j'ai une installation qui marche, c'est l'essentiel.

Merci à tous, bien cordialement,

C.-M. M.

Dernière modification par cmm (23-06-2013 15:10:44)

Hors ligne

#18 23-06-2013 15:11:43

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : Outils externes de gedit [Résolu]

cmm a écrit :

j'ai résolu mon problème, par la force brutal

Des fois, les machines demandent de la douceur, des fois ... non. tongue

cmm a écrit :

Je ne comprends toujours pas ce qui s'est passé

Nous sommes deux ! hmm


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

Pied de page des forums