http://askubuntu.com/questions/70540/how-can-i-set-default-terminal-used-in-unity
sudo update-alternatives --config x-terminal-emulator
http://askubuntu.com/questions/70540/how-can-i-set-default-terminal-used-in-unity
sudo update-alternatives --config x-terminal-emulator