From f8759897293de64c101a69bec3af2705b7c84902 Mon Sep 17 00:00:00 2001
From: Mehdi Sadeghi <mehdi@mehdix.org>
Date: Tue, 7 Jun 2022 08:06:48 +0200
Subject: Separate sh history. Add hist count to prompt.

sh history is written to ~/.sh_history now. The reason is that
I am chasing the cause of a history truncation issue.
---
 .local/bin/prompt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '.local')

diff --git a/.local/bin/prompt b/.local/bin/prompt
index d4d6592..920a5ef 100755
--- a/.local/bin/prompt
+++ b/.local/bin/prompt
@@ -1,7 +1,8 @@
 #!/bin/sh
 BRANCH=$(git branch --show-current 2>/dev/null)
 BRANCH=$(test -n "$BRANCH" && echo "($BRANCH)")
-PROMPT="$USER@$(cat /proc/sys/kernel/hostname):$( test "$PWD" = $HOME && echo '~' || echo "$PWD")$BRANCH"
+HIST_COUNT=$(grep -v '^#' ~/.bash_history | wc -l)
+PROMPT="$USER@$(cat /proc/sys/kernel/hostname)[$HIST_COUNT]:$( test "$PWD" = $HOME && echo '~' || echo "$PWD")$BRANCH"
 case $(id -u) in
 0) echo -e "$PROMPT\\n# " ;;
 *) echo -e "$PROMPT\\n$ " ;;
-- 
cgit v1.2.3