Existe-t-il des gestionnaires de copier/coller (pour suivre l’historique des copies) qui s’intègrent parfaitement dans la barre des tâches système sous Ubuntu 18.04?
Vous pouvez utiliser un extension du shell GNOME appelé " Indicateur du Presse-papiers ". C'est un
Extension du gestionnaire de Presse-papiers pour Gnome-Shell - Ajoute un indicateur de presse-papiers au panneau supérieur et met en cache l'historique du presse-papiers.