Além do que o @Dan disse, há outra opção para copiar e colar texto no Linux, que estou achando muito mais rápido e fácil de usar, já que não há necessidade de mudar do mouse (que você está usando para fazer a seleção) para o teclado :
- selecionar texto com o mouse copia-o para a área de transferência
- clique com o botão do meio cola.
Esse recurso é especialmente útil no terminal, por exemplo, ao montar um comando a partir de bits de texto que já estão na tela.
Isso funciona em todos os aplicativos, por isso é possível copiar e colar texto de uma página da web para o terminal etc.
O buffer da área de transferência usado para copiar e colar com o botão do meio é separado daquele usado para Ctrl-C / Ctrl-V, que possibilita a cópia de dois bits diferentes de texto ao mesmo tempo.
shift
+enter
+fn
. E, em um teclado 'normal', acho que éshift
einsert
.