Page 1 sur 1
Gestionnaire de presse papier
Posté : mer. 10 mars 2021 15:13
par jerome6969
Bonjour
Je cherche un gestionnaire de presse papier qui fonctionne bien sous Linux mint 20.1 Cinnamon. Que me conseillez-vous ?
Re: Gestionnaire de presse papier
Posté : mer. 10 mars 2021 18:54
par david37
Salut Jerome,
Peut-être ce lien te sera utile:
https://doc.ubuntu-fr.org/presse-papier
Re: Gestionnaire de presse papier
Posté : jeu. 11 mars 2021 09:14
par arghlub
Salut,
Perso je suis sous XFCE donc j'utilise
clipman, mais sous d'autres environnements
(Cinnamon dans ton cas), tu as par exemple
clipit ou
parcellite.
──────────
Pour voir les infos/fonctionnalités de ces paquets, dans un terminal :
Code : Tout sélectionner
⌚09:11:59 ▶ arghlub@msiDragon-LM20xfce ▷ ~ $ apt show clipit
Package: clipit
Version: 1.4.4+git20190202-1
Priority: optional
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Andrej Shadura <andrewsh@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 321 kB
Depends: libayatana-appindicator3-1 (>= 0.2.92), libc6 (>= 2.7), libglib2.0-0 (>= 2.30.0), libgtk-3-0 (>= 3.19.12), libpango-1.0-0 (>= 1.14.0), libx11-6, xdotool
Homepage: https://github.com/CristianHenzel/ClipIt
Download-Size: 54,7 kB
APT-Sources: http://mirrors.ircam.fr/pub/ubuntu/archive focal/universe amd64 Packages
Description: gestionnaire léger de presse-papiers en GTK+
Gestionnaire de presse-papiers avec des fonctionnalités telles que :
* Enregistrer l'historique de vos derniers éléments copiés
* Rechercher dans l'historique
* Touches de raccourcis globales pour les fonctions les plus utilisées
* Exécuter des actions avec les éléments du presse-papiers
* Exclure des éléments spécifiques de l'historique
.
ClipIt est un fork de Parcellite qui ajoute de nombreuses correction de
bugs et fonctions au projet. Pour une liste complète des changements,
voyez le journal des modifications du paquet ou
http://clipit.rspwn.com/changelog/
⌚09:12:03 ▶ arghlub@msiDragon-LM20xfce ▷ ~ $
Code : Tout sélectionner
⌚09:13:29 ▶ arghlub@msiDragon-LM20xfce ▷ ~ $ apt show parcellite
Package: parcellite
Version: 1.2.1-3
Priority: optional
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Hugo Lefeuvre <hle@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 566 kB
Depends: libappindicator1 (>= 0.2.91), libc6 (>= 2.14), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.14.0), libx11-6
Homepage: https://github.com/rickyrockrat/parcellite
Download-Size: 248 kB
APT-Sources: http://mirrors.ircam.fr/pub/ubuntu/archive focal/universe amd64 Packages
Description: gestionnaire léger de presse-papiers en GTK+
Parcellite est un gestionnaire de presse-papiers disposant uniquement de
fonctionnalités basiques avec une faible consommation mémoire pour ceux
qui aime la simplicité.
.
Fonctionnalités :
.
* Conserve un historique du presse-papiers.
* Diverses options d'affichage pour afficher les éléments de la façon dont vous le souhaitez.
* Mode démon ; conserver le contenu de votre presse-papiers lorsque vous fermez les applications.
* Effectuer des commandes personnalisées en utilisant le contenu du presse-papiers.
⌚09:13:33 ▶ arghlub@msiDragon-LM20xfce ▷ ~ $
──────────
et pour rechercher un paquet :
Code : Tout sélectionner
⌚09:14:08 ▶ arghlub@msiDragon-LM20xfce ▷ ~ $ apt search clipman
i A xfce4-clipman - gestionnaire d'historique de presse-papier
i A xfce4-clipman-plugin - Greffon d'historique presse papier pour le panneau de Xfce
⌚09:14:10 ▶ arghlub@msiDragon-LM20xfce ▷ ~ $

Re: Gestionnaire de presse papier
Posté : jeu. 11 mars 2021 18:27
par jerome6969
Super, merci pour vos réponses.
Re: Gestionnaire de presse papier
Posté : jeu. 11 mars 2021 18:44
par tioker
Bonjour,
Je viens d'installer Clipman de la logithèque Mint.
Sous Cinnamon Mint 20.1.
Une icône avec tout ce qu'il faut s'afficher bien sur la barre de tâche.
Bonsoir,

Re: Gestionnaire de presse papier
Posté : sam. 13 mars 2021 11:21
par jerome6969
Finalement j'ai opté pour Diodon, qui fonctionne parfaitement
Re: Gestionnaire de presse papier
Posté : sam. 13 mars 2021 11:32
par arghlub
Merci pour le retour, tu considères que le sujet est résolu ?
Si oui, merci de
mettre un attribut de sujet 
:
voir tuto ici

Re: Gestionnaire de presse papier
Posté : mer. 31 mars 2021 07:25
par alain
Bonjour.
Sujet archivé (en lecture seule) car résolu.
Si besoin de rouvrir faire un MP à un membre de l'équipe
