.shellrc: Rename `set_prompts` -> `set_prompt`

diff --git a/.shellrc b/.shellrc
index d211675f3e815c927eeab2c3ddbc9aadd08d39d8..d5d7ca3fa267aa03ce67e6690df5549a3c2225d2 100644 (file)
--- a/.shellrc
+++ b/.shellrc
@@ -47,8 +47,8 @@ fi
 if test -n "$BASH_VERSION"; then
    if [ -r "$HOME"/admin/prog/bash_prompt ]; then
       . "$HOME"/admin/prog/bash_prompt
-      set_prompts
-      unset set_prompts
+      set_prompt
+      unset set_prompt
    else
       PS1="${debian_chroot:+($debian_chroot)}\u@\h:\W \$SHLVL\\$ "
    fi

diff --git a/admin/prog/bash_prompt b/admin/prog/bash_prompt
index 0436df4a951bac7043a6437255c0fcd4ba5036d8..0470b49b623ba2b7da3c970bb23d815aec40b967 100644 (file)
--- a/admin/prog/bash_prompt
+++ b/admin/prog/bash_prompt
@@ -106,7 +106,7 @@ prompt_git() {
 #   fi
 #fi
 
-set_prompts() {
+set_prompt() {
       PS1=''
       local _SHORT_PROMPT='[\A`cgmem_which_prompt`] \u@${HOSTNAME::5}:`short_curdir`'
       # display the user, host and current working directory