https://askubuntu.com/questions/243124/how-to-reinstall-terminal
sudo apt-get update && sudo apt-get install gnome-terminal
https://askubuntu.com/questions/243124/how-to-reinstall-terminal
sudo apt-get update && sudo apt-get install gnome-terminal