You can do this by running:
sudo add-apt-repository ppa:mikelward/flashing-gnome-terminal
sudo apt-get update
sudo apt-get install gnome-terminal gnome-terminal-data
My aim is to get this integrated into Gnome, so if you find any problems, let me know, otherwise a comment in https://bugzilla.gnome.org/show_bug.cgi?id=557593 asking to get this merged upstream could be helpful.
Note that the PPA replaces the existing gnome-terminal package. I don't know if this is the right way or not. It might cause problems when the next official build comes out. Help/advice appreciated.
I've created a PPA at https:/ /launchpad. net/~mikelward/ +archive/ flashing- gnome-terminal if anyone wants to try the patch on Maverick.
You can do this by running: flashing- gnome-terminal
sudo add-apt-repository ppa:mikelward/
sudo apt-get update
sudo apt-get install gnome-terminal gnome-terminal-data
My aim is to get this integrated into Gnome, so if you find any problems, let me know, otherwise a comment in https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 557593 asking to get this merged upstream could be helpful.
Note that the PPA replaces the existing gnome-terminal package. I don't know if this is the right way or not. It might cause problems when the next official build comes out. Help/advice appreciated.