Bonjour je viens de me rendre compte que le copier / coller ne fonctionne pas.
testé sur les sessions SSH
version 2020.0.10
Bonjour,
Il semble, en effet, avoir un problème lorsque l'on essaie de copier en utilisant le raccourci ctrl-c.
Je vais ouvrir un billet et l'ajouter à notre todo list.
Vous pouvez, en attendant, utiliser le menu contextuel (clique droit) pour effectuer la copie.
Jonathan Lafontaine
Je semble avoir parlé trop vite.
Après de plus amples tests, il est possible de copier en utlisant ctrl-shift-c et de coller avec ctrl-shift-v.
Êtes-vous en mesure de confirmer? Il est possible que la dernière version, 2020.3.1.0, de RDM Linux soit nécessaire.
Jonathan Lafontaine
avec ma version je confirme le menu contextuel s'affiche mais pas de possibilité de coller l'information dans le presse papier.
que ce soit de fenetre RDM ou d'une autre appliction ctl c / ctrl v et clic droit
En effet, ctrl-v et le menu contextuel ne permettent pas de coller.
La seule facon pour l'instant est par l'utilisation du raccourci ctrl-shift-v.
Jonathan Lafontaine