history: work around possible dirty prefix * in the history output

akinomyoga · Jul 28, 2022 · cc14f59 · cc14f59
1 parent 6498a5d
commit cc14f59
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ble-edit.sh b/ble-edit.sh
@@ -4737,7 +4737,7 @@ else
     builtin history -p -- '' &>/dev/null
     ble/util/assign line2 'HISTTIMEFORMAT= builtin history 1'
     if [[ $line1 != "$line2" ]]; then
-      local rex_head='^[[:space:]]*[0-9]+[[:space:]]*'
+      local rex_head='^[[:space:]]*[0-9]+\*?[[:space:]]*'
       [[ $line1 =~ $rex_head ]] &&
         line1=${line1:${#BASH_REMATCH}}
 
@@ -5112,6 +5112,7 @@ function ble-edit/history/get-count {
       local history_line
       ble/util/assign history_line 'builtin history 1'
       ble/string#split-words history_line "$history_line"
+      history_line=${history_line/'*'}
       _ble_edit_history_count=${history_line[0]}
     fi
     _ret=$_ble_edit_history_count