Eu poderia jurar que já houve uma configuração para isso no "Profile" do gnome-terminal.
E então, em alguma versão do Ubuntu, essa configuração desapareceu, e eu tive que usar System ➜ Preferences ➜ Keyboard para desmarcar "Cursor pisca em...
20.06.2011 / 02:52