fstamour · January 22, 2015 01:34
diff --git a/set_terminal_title.sh b/set_terminal_title.sh
 # Note that sometimes, these escape sequences are in the prompt,
 # resetting the title at every command.
 set_terminal_title () {
        echo -en "\033]0;$@\a"
 }
	# Note that sometimes, these escape sequences are in the prompt,
	# resetting the title at every command.
	set_terminal_title () {
	echo -en "\033]0;$@\a"
	}