Debian-facile

totoZero7

Membre

Distrib. : Debian 11.6 Bullseye

Noyau : 5.10.0-21-amd64

(G)UI : Mate 1.24.1

Inscription : 05-07-2020

[résolu]Comment supprimer l'historique de recherche de l'éditeur Pluma

Bonjour,

Je souhaite supprimer 1 ligne ou la totalité de l'historique de recherche de l'éditeur Pluma

Quand je fais ctrl + f dans l'éditeur, une fenêtre s'ouvre pour effectuer une recherche dans un fichier.
Une suggestion de mots, déjà recherchés, m'est proposé. Ce qui est chouette parfois.
Mais là, je souhaiterais, dans l'idéal, supprimer l'une de ces propositions. Ou sinon, supprimer la totalité de ces mots recherchés (l'historique de recherche).

J'ai essayé de supprimer les Documents récents du système mais ça ne change rien.
J'ai essayé de faire un grep -r "mot-dans-lhistorique" sur tout le répertoire /home, pour trouver le dossier de configuration afin de modifier cela, mais n'ai rien trouvé. Du coup, je viens solliciter votre aide.

Est-ce que quelqu'un sait où est cachée cette configuration ? si on peut la modifier et comment ?

Dernière modification par totoZero7 (14-06-2022 20:25:28)

VBrice

Membre

Inscription : 04-10-2021

Re : [résolu]Comment supprimer l'historique de recherche de l'éditeur Pluma

Bonjour,
Trouver sur le net:

dconf write '/org/mate/pluma/history-replace-with' "['']"
dconf write '/org/mate/pluma/history-search-for' "['']"

Ou en installant dconf-editor.

Nécessite de fermer et relancer pluma.

Dernière modification par VBrice (14-06-2022 19:25:56)

totoZero7

Membre

Distrib. : Debian 11.6 Bullseye

Noyau : 5.10.0-21-amd64

(G)UI : Mate 1.24.1

Inscription : 05-07-2020

Re : [résolu]Comment supprimer l'historique de recherche de l'éditeur Pluma

Waaah trop bien. Je marque en résolu
Merci VBrice

Comment as-tu fait pour trouver cela  (si rapidement) sur le net ?
Quel moteur de recherche as-tu utilisé et quelle "recherche" as-tu effectuée ?
En te demandant cela, c'est pour être meilleur dans mon investigation futur car j'ai pourtant cliqué sur pas mal de liens et n'ai rien trouvé.

Dernière modification par totoZero7 (15-06-2022 02:37:52)

VBrice

Membre

Inscription : 04-10-2021

Re : [résolu]Comment supprimer l'historique de recherche de l'éditeur Pluma

En général je fais la recherche en anglais, car il y a plus de probabilité qu'un sujet est été traité dans une langue anglophone que française.

J'utilise DuckduckGo comme moteur de recherche qui m'as l'aire d'être aussi efficace que google et dont les résultats sont aussi pertinent.

Dernière modification par VBrice (15-06-2022 15:50:25)

totoZero7

Membre

Distrib. : Debian 11.6 Bullseye

Noyau : 5.10.0-21-amd64

(G)UI : Mate 1.24.1

Inscription : 05-07-2020

Re : [résolu]Comment supprimer l'historique de recherche de l'éditeur Pluma

Merci pour ton retour.
J'utilise aussi duckduckgo. Par-contre je le fais en français car mon anglais est très pauvre. L'anglais domine. Ceci explique cela.