fix escapes for terminal title

Jernej Tonejc · Jernej Tonejc · commit 69188e5d0d2a · 2015-11-02T16:50:59.000+01:00
diff --git a/gitprompt.sh b/gitprompt.sh
@@ -542,7 +542,7 @@ function gp_truncate_pwd {
 
 #Sets the window title to the given argument string
 function gp_set_window_title {
-  echo -ne "\033]0;"$@"\007"
+  echo -ne "\[\033]0;"$@"\007\]"
 }
 
 function prompt_callback_default {

Original file line number	Diff line number	Diff line change
`@@ -542,7 +542,7 @@ function gp_truncate_pwd {`
`542`	`542`
`543`	`543`	`#Sets the window title to the given argument string`
`544`	`544`	`function gp_set_window_title {`
`545`		`- echo -ne "\033]0;"$@"\007"`
	`545`	`+ echo -ne "\[\033]0;"$@"\007\]"`
`546`	`546`	`}`
`547`	`547`
`548`	`548`	`function prompt_callback_default {`