Accade spesso che il mio cursore su gnome-terminal
scompaia, costringendomi a lavorare su una nuova scheda / finestra. Sembra un evento casuale. Qualcun altro lo sperimenta? Che dire degli altri emulatori di terminali X? Come posso risolvere questo problema (o forse è solo un bug)?
aggiornamento : una semplice soluzione è di allontanarsi dal terminale e tornare indietro.
aggiornamento 2 : non lo provo più, forse perché sto usando la versione GNOME 3 del terminale.