[bashrc] Fix setting window title in gnome-terminal

brantb · Aug 2, 2012 · c146ed6 · c146ed6
1 parent 68980c0
commit c146ed6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bashrc b/bashrc
@@ -35,7 +35,7 @@ _set_git_prompt_string() {
     fi 
 }
 _set_title() {
-	printf "\033]2$1\033\\"
+	echo -ne "\033]2;$1\007"
 }
 
 # Paths and environment variables for non-interactive shells