clean theme: Remove extra \

pull/1122/head
Nikos Skalkotos 2017-12-28 16:29:10 +02:00 committed by GitHub
parent b9e49433c9
commit 2ada230c4c
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)\]$ " PS1="${no_color}\u${reset_color}:${blue}\W/${reset_color} \[$(scm_prompt_info)\]$ "
RPROMPT='[\t]' RPROMPT='[\t]'
} }