Não é possível destacar no terminal com mouse

Question

Estou em uma nova instalação de 15.10 e, por algum motivo, não consigo destacar texto no terminal para copiar. É muito estranho e nunca me deparei com isso antes.

A única coisa um pouco diferente da minha configuração é que eu também tenho o Mint instalado em uma partição separada e compartilho a pasta pessoal. No entanto, eu segui algumas outras respostas que encontrei que eram muito vagamente relacionadas e excluí o diretório ~/.gconf/apps/gnome-terminal , mas isso não fez nada.

Eu sei que soa como um pequeno bug, mas definitivamente economiza tempo para destacar e copiar números de rastreamento de problemas para colar em commits.

Qualquer ajuda ou sugestão seria muito apreciada! (mas, por favor, não me repreenda por compartilhar meu diretório pessoal entre distribuições porque isso não é útil)

    

Answer 1

Isso certamente soa como um problema causado pelo compartilhamento de seu $HOME . Eu não posso te dizer qual arquivo é o problema, já que não consigo reproduzir, mas aqui estão algumas dicas.

Você pode usar strace para rastrear o que um programa faz quando é executado. Por exemplo, no meu sistema, ele mostra que acessa os seguintes arquivos do meu diretório pessoal:

$ 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

Eu realmente não vejo qual deles poderia estar causando o problema. No entanto, não estou executando o Ubuntu para que sua saída seja mais útil.