personalization

1) #!/bin/sh
2) 
3) SetTerminatorAsDefaultTerm () {
4) 	# Credit: http://forums.linuxmint.com/viewtopic.php?f=208&t=150071
5) 	gsettings set org.gnome.desktop.default-applications.terminal exec /usr/bin/terminator;
6) 	gsettings set org.gnome.desktop.default-applications.terminal exec-arg "-x --new-tab";
7) 	gsettings set org.cinnamon.desktop.default-applications.terminal exec /usr/bin/terminator;
8) 	gsettings set org.cinnamon.desktop.default-applications.terminal exec-arg "-x --new-tab";
9) 	debug "Done setting up Terminator as default terminal."
10) }
11) 
12) debug() {
13) 	# TODO: Use debug flag using getopts
14) 	echo "DEBUG: $1";
15) }
16) 

17) # TODO: This script is made to run only on GNOME Ubuntu. Ask check to gracefully exit if not on that system.

18) # If Terminator is installed, make it the default terminal emulator of the system.
19) if [ -f /usr/bin/terminator ]; then
20) 	SetTerminatorAsDefaultTerm;
21) else

22) 	debug "Terminator was not found on the system. Installing..."