3 votes

Impossible de surligner dans le terminal avec la souris

Je suis sur une nouvelle installation de 15.10 et pour une raison quelconque, je ne peux pas surligner du texte dans le terminal pour le copier. C'est vraiment bizarre et je n'ai jamais rencontré cela auparavant.

La seule chose un peu différente dans ma configuration est que j'ai également installé Mint sur une partition séparée et que je partage le dossier personnel. Cependant, j'ai suivi d'autres réponses que j'ai trouvées et qui étaient très vaguement liées et j'ai supprimé le fichier ~/.gconf/apps/gnome-terminal mais cela n'a rien donné.

Je sais qu'il s'agit d'un bogue mineur, mais le fait de pouvoir surligner et copier les numéros de suivi des problèmes pour les coller dans les commits permet de gagner du temps.

Toute aide ou suggestion serait grandement appréciée ! (mais s'il vous plaît, ne me reprochez pas de partager mon répertoire personnel d'une distro à l'autre, ça ne sert à rien).

0voto

Stewart Points 1385

Cela ressemble certainement à un problème causé par le partage de votre $HOME . Je ne peux pas vraiment vous dire quel fichier pose problème puisque je ne peux pas le reproduire, mais voici quelques conseils.

Vous pouvez utiliser strace pour savoir ce que fait un programme lorsqu'il est exécuté. Par exemple, sur mon système, il m'indique qu'il accède aux fichiers suivants à partir de mon répertoire personnel :

$ strace gnome-terminal 2>&1| grep -oP '/home/terdon/.*(?=")'
/home/terdon/.config/gtk-3.0/settings.ini
/home/terdon/.config/gtk-3.0/gtk.css
/home/terdon/.local/share/themes/Default/gtk-3.18/gtk-keys.css
/home/terdon/.local/share/themes/Default/gtk-3.16/gtk-keys.css
/home/terdon/.local/share/themes/Default/gtk-3.14/gtk-keys.css
/home/terdon/.local/share/themes/Default/gtk-3.0/gtk-keys.css
/home/terdon/.themes/Default/gtk-3.18/gtk-keys.css
/home/terdon/.themes/Default/gtk-3.16/gtk-keys.css
/home/terdon/.themes/Default/gtk-3.14/gtk-keys.css
/home/terdon/.themes/Default/gtk-3.0/gtk-keys.css

Je ne vois pas vraiment lequel d'entre eux pourrait être à l'origine du problème. Cependant, je n'utilise pas Ubuntu et vos résultats pourraient être plus utiles.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X