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

Debian-facile

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

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

#1 14-06-2022 20:14:10

totoZero7
Membre
Distrib. : Debian 11 bullseye
Noyau : 5.10.0-16-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 21:25:28)

Hors ligne

#2 14-06-2022 20:22:22

VBrice
Membre
(G)UI : mate
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 20:25:56)

Hors ligne

#3 14-06-2022 20:38:25

totoZero7
Membre
Distrib. : Debian 11 bullseye
Noyau : 5.10.0-16-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 03:37:52)

Hors ligne

#4 15-06-2022 16:50:09

VBrice
Membre
(G)UI : mate
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 16:50:25)

Hors ligne

#5 15-06-2022 17:18:58

totoZero7
Membre
Distrib. : Debian 11 bullseye
Noyau : 5.10.0-16-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.

Hors ligne

Pied de page des forums