Ao tentar copiar e colar do terminal, ele não funciona. Nem Ctrl + C nem botão direito após o realce (nenhuma opção para copiar ou recortar aparece). Instalei o Ubuntu 12.4 pela primeira vez há alguns dias e talvez esteja faltando alguma coisa. Copiar e colar funciona no Libre Office.