diff --git a/3rdparty/mmu_man/scripts/dev-perso b/3rdparty/mmu_man/scripts/dev-perso index 0d6f8a6ce8..7ca528ea6f 100755 --- a/3rdparty/mmu_man/scripts/dev-perso +++ b/3rdparty/mmu_man/scripts/dev-perso @@ -98,7 +98,8 @@ function dev() { ;; *) # prompt: set window title to [project:folder] also - export PS1='\[\033]0;['$1':\W]\a\]\[\033[1m\][\u@\h \w]\[\033[0m\]\$ ' + #export PS1='\[\033]0;['$1':\W]\a\]\[\033[1m\][\u@\h \w]\[\033[0m\]\$ ' + export PS1='\033]0;['$1':\W]\a\033[1m[\u@\h \w]\033[0m\$ ' ;; esac # lower priority so background builds don't slow the GUI too much