Existe esta solução proposta para desativar o cursor piscante no terminal Gnome. No entanto, ele não parece mais funcionar para o Gnome 3.8. A opção /apps/gnome-terminal/profiles/Defaultno Gconf não existe. Então, o que é uma solução funcional para o Gnome