From cdb7a7633b38a549767d05e8715324cbec694056 Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Mon, 22 Aug 2022 18:51:37 +0300
Subject: [PATCH] .shellrc: Rename `set_prompts` -> `set_prompt`

---
 .shellrc               | 4 ++--
 admin/prog/bash_prompt | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.shellrc b/.shellrc
index d211675..d5d7ca3 100644
--- 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 0436df4..0470b49 100644
--- 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
-- 
2.39.5