A maneira mais simples de obter o resultado final que você deseja (colando o código do shell para a internet) é:
- Selecione o texto com o cursor do mouse
-
Ctrl+Shift+C
para copiar -
Ctrl+V
para colar fora do terminal -
Ctrl+Shift+V
para colar em um prompt de terminal