Estou usando o terminal padrão do gnome que veio com a minha instalação do Ubuntu 16.04. Quando seleciono o texto no terminal, posso colá-lo com um clique do mouse, para que tudo fique bem. Mas o que eu quero é poder clicar duas vezes no texto e selecioná-lo / copiá-lo para que eu não precise arrastar uma palavra inteira para selecioná-lo. Alguém sabe uma solução para isso?
Clicar duas vezes para selecionar o texto é o comportamento padrão do gnome-terminal (v3.13.3 para referência). No entanto, me deparei com essa pergunta porque parou de funcionar para mim. A solução, para mim, estava nas configurações de "Mouse e Touchpad", tive que alterar o controle deslizante "Double-click" e defini-lo a meio caminho entre Lento e Rápido. Eu acho que o gnome-terminal não pega meu clique duplo quando a configuração está muito longe no lado Fast.
Descobri que definir o toque para clicar como verdadeiro resolveu o problema.
Apenas execute os seguintes comandos:
gsettings set org.gnome.desktop.peripherals.touchpad tap-to-click true