Quando si tenta di copiare e incollare dal terminale, non funziona. Né Ctrl + C né il pulsante destro dopo l'evidenziazione (non appare alcuna opzione per copiare o tagliare). Ho installato Ubuntu 12.4 per la prima volta qualche giorno fa e forse manca qualcosa. Copia e incolla funziona in Libre Office.