Por que a colagem às vezes não funciona no gnome-terminal?

Question

Ctrl + Shift + C e Ctrl + Deslocamento + V devem substituir o normal Ctrl + C e Ctrl + V em gnome-terminal .

Às vezes eles funcionam, mas geralmente não têm efeito. Quais são algumas das possíveis razões para isso? Não tenho certeza de que outras informações dar.

Editar: parece que a seleção manual de Paste do menu Edit também não funciona. Right click > Paste funciona, mas Edit > Paste não. Copiar funciona, mas colar não.

Além disso, eu tenho o modo de vi ativado ( set -o vi no meu ~/.bashrc ). Isso poderia ter algo a ver com isso?

Editar: aqui está um vídeo que demonstra o problema. Eu usei Screenkey (no modo "raw", para capturar "shift") para mostrar quais teclas estou pressionando.

    

Answer 1

Este é um bug no gnome-terminal, o relatório de bug está aqui com um patch:

link

O Gnome não resolveu o problema.

O Ubuntu corrigiu independentemente do Gnome. O relatório de bug detalhado está aqui:

link

De acordo com o relatório de erros, o pacote fixo do Ubuntu é a versão 2.32.1-0ubuntu3 do gnome-terminal. Atualmente, ele está na fila de uploads do repositório proposto pela maverick (com status não aprovado). A fila de upload está aqui:

link

Você pode fazer o download do pacote de fontes e compilá-lo com o debuild.

Espero que em breve ele seja enviado para repositórios de atualização normais.

    

Answer 2

Tem que fazer, como você suspeita, com o modo "vi".

O modo "vi" tem modos de inserção e comando separados, como você sabe. Quando no modo de comando, todo o texto enviado para o terminal é interpretado como um comando.

Convice-se a fazer isso:

• copie em algum lugar uma string contendo "isometext"
• vá para o terminal e pressione ESC para ir para o modo de comando
• colar

você deve ver apenas "sometext", porque o "i" inicial foi interpretado como o comando insert.

Solução: se estiver no modo de comando, pressione "i" antes de inserir. Se não tiver certeza, pressione ESC e "i" antes de inserir.

    

Answer 3

tente shift-ctrl-v (mesmos botões, ordem diferente). Você também pode reatribuir seus atalhos de teclado no menu Editar do terminal. Não o atribua novamente a Ctrl + C, porque Ctrl + C é usado para matar processos no terminal (bem, enviando o sinal TERM).

    

Answer 4

Para mim, a maneira mais fácil de colar é o clique do botão do meio do mouse. No entanto, ainda copio usando o menu, porque não preciso copiar com frequência.

    

Answer 5

Usar o terminal copiar e colar utiliza dois métodos diferentes com base na maneira como você executa a cópia e cola. Se você usar o botão realçar e colar com o terceiro, estará utilizando um dos buffers no X para fazer o trabalho. Se você usar o menu ou clicar com o botão direito para copiar e colar, estará utilizando um buffer diferente .

Assim, se você copiar com uma seleção do menu, deverá colar usando o menu ou usar o menu do botão direito do mouse. Você não pode selecionar usando Edit > Copy e depois usar o terceiro botão do mouse para colar.

Este também é o motivo pelo qual você não pode copiar, destacando e indo para outro aplicativo e usando Edit > Paste .

    

Answer 6

Para registro, executei este teste em várias instâncias virtuais de instalações de estoque, variando de 9,04 até 11,04 Alpha 3. Não consegui replicar seus problemas.

Eu acredito que o problema pode ser algum tipo de configuração em algum lugar conflitante com outro. Quanto à configuração específica, não sei. Contudo... (citação do chat)

I'd blow away my .config stuff for gnome-terminal, but it's a pain to back up profiles.

Você pode considerar apagar suas configurações do gnome-terminal para iniciar, mas depois disso eu não tenho certeza de como você corrigiria isso.

    

Answer 7

Não sei por que, mas uso a Menu -Key (= à direita entre Super e Ctrl ) para copiar e colar.
Espero que seja uma ajuda para você; -)

    

Answer 8

Eu nunca tive problemas com isso não funcionar, a menos que o foco do cursor não estivesse definido para o terminal. verifique se você clicou no terminal antes de tentar colar.

    

Answer 9

Eu acho que isso é um problema com o widget interno do terminal não ter foco, talvez conectado à barra do mouse interno. Se você clicar no corpo do terminal antes de pressionar as teclas, isso o consertará?

(Se isso for verdade, é um bug.)