Como estender a seleção no gnome-terminal? Depende da versão?

1

Acabei de mover essa pergunta que fiz há algum tempo, do StackOverflow até aqui:

Em um terminal eu posso selecionar uma única linha, clicando duas vezes com o botão esquerdo do mouse. Com o xterm, eu posso estender essa seleção clicando com o botão direito do mouse no lugar que eu quero estendê-lo.

Então eu posso colar a seleção inteira com o botão do meio do mouse ou colá-lo em outro aplicativo.

No gnome-terminal, parece que posso estender a seleção clicando com o botão esquerdo do mouse, mas mantendo ao mesmo tempo a tecla Shift.

Visualmente, parece que a seleção está feita, mas ao clicar com o botão do meio do mouse ou colar em outro aplicativo, eu só obtenho a seleção de linha única principal.

Como posso obter toda a seleção em gnome-terminal? É possível usar seleções no gnome-terminal como o xterm faz? Cheers, Tomas.

No Ubuntu com o Terminal GNOME 2.30.2, ele não funcionou. Mas eu apenas tentei no CentOS com o Gnome gnome-terminal 2.16.0, e funciona.

Parece ser uma questão da versão gnome-terminal? Ou há alguns problemas obscuros relacionados aos mecanismos de copiar e colar do XWindows?

    
por nephewtom 27.06.2013 / 13:23

0 respostas