Merge pull request #1423 from Stanko/clean-theme-fix

Trivial fix for clean theme
pull/1427/head
Nils Winkler 2019-09-19 08:29:05 +02:00 committed by GitHub
commit 7400f772c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -13,7 +13,7 @@ function prompt_command() {
if [ "$(whoami)" = root ]; then no_color=$red; else no_color=$white; fi if [ "$(whoami)" = root ]; then no_color=$red; else no_color=$white; fi
PS1="${no_color}\u${reset_color}:${blue}\W/${reset_color} \[$(scm_prompt_info)\]${normal}$ " PS1="${no_color}\u${reset_color}:${blue}\W/${reset_color} $(scm_prompt_info)${normal}$ "
} }
safe_append_prompt_command prompt_command safe_append_prompt_command prompt_command