3

I'm on a fresh install of 15.10 and for some reason, I can't highlight text in the terminal to copy. It's really weird and I've never run into this before.

The only thing a little different about my setup is that I also have Mint installed on a separate partition and share the home folder. However, I did follow some other answers I found that were very loosely related and deleted the ~/.gconf/apps/gnome-terminal directory but that didn't do anything.

I know it sounds like a minor bug but it definitely saves time being able to highlight and copy issue tracking numbers to paste into commits.

Any help or suggestions would be greatly appreciated! (but please don't berate me for sharing my home directory between distros because that's not helpful)

Improve this question
10
  • Sharing the /home partition might actually be the problem here. What terminal-emulator does Mint use by default? Have you tried re-installing gnome-terminal? (sudo apt-get install --reinstall gnome-terminal)
    – Seth
    Nov 3, 2015 at 15:28
  • I tried re-installing it and it didn't work for my user, but I created a new user and it worked for that user. Which leads me to believe that it is because it's being shared. Now I'm wondering if there is another config file I'm missing that I can update. I don't really plan to use Mint much more. A little background about my setup: my company installed Mint before I started. I felt it was meh and liked Ubuntu a lot better. The company said it was OK to dual boot it and I should be able to share the user profile between the two.
    – Will Steinmetz
    Nov 3, 2015 at 15:50
  • If you don't mind switching to another terminal emulator, I'd suggest sakura. Close enough to gnome-terminal in looks and customizability. Try it out
    – Sergiy Kolodyazhnyy
    Nov 3, 2015 at 20:56
  • Can you highlight text if you press and hold Shift?
    – egmont
    Nov 3, 2015 at 21:49
  • @Serg thanks for the suggestion, but that had the same problem.
    – Will Steinmetz
    Nov 3, 2015 at 21:54

1 Answer 1

Reset to default
0

This certainly sounds like an issue caused by sharing your $HOME. I can't really tell you which file is the problem since I can't reproduce, but here are some tips.

You can use strace to trace what a program does when it is run. For example, on my system, it shows me that it accesses the following files from my home directory:

$ 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

I don't really see which one of these could be causing the issue though. However, I'm not running Ubuntu so your output might be more useful.

Improve this answer

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .