Forum

Bonjour,

Vu que sur Gnome il n'y a pas de gestionnaire de presse papier, je pensais mettre "ClipIt".
Mais je ne le trouve pas dans les dépôts.
Il y a un souci avec Clipit?

Bonjour,
Je suppose que tu parles d'un moyen d'avoir l'historique du presse-papier. Ce n'est pas parce qu'il n'y a pas d'outil graphique, qu'il n'y a pas de gestion de celui-ci. Dans ce cas, je te conseille d'utiliser l'extension Clipboard Indicator. D'après pkgs.org, il semblerait que clipIt n'est pas sur Mageia.

Ah ok, je regarde ça.
Merci Yuusha!

L'extension n'est pas sur Mageia. Tu dois la chercher dans le magasin de GNOME : https://extensions.gnome.org/

Ah oui, encore je me disais.
Je n'arrivais pas à comprendre ce qu'il me fallait télécharger.

Une fois que j'ai téléchargé "clipboard-indicatortudmotu.com.v37.shell-extension.zip" et décompressé.
Que faut-il que je fasse?

Je pensais déplacer ce répertoire dans "usually ~/.local/share/gnome-shell/extensions/" comme indiqué dans le fichier "Readme".
Mais je ne vois pas l’extension dans "Ajustement".

Non, c'est bon j'ai trouvé!
Fallait que je prenne Firefox puis installer une extension à ce navigateur.
Ensuite je n'avais qu'à juste cliquer sur un bouton pour installer!

Simple en fait.