Então, depois de executar os dois comandos sugeridos pelo @steeldriver, percebi que, de alguma forma, eu tinha conseguido desinstalar totalmente o terminal gnome do meu laptop.
sudo apt-get install gnome-terminal
resolveu esse problema para mim.