Fix save-and-reload-history command not found
parent
7987e4bfcd
commit
b0e8729b0f
|
|
@ -275,7 +275,7 @@ function __powerline_prompt_command() {
|
||||||
SEGMENTS_AT_LEFT=0
|
SEGMENTS_AT_LEFT=0
|
||||||
LAST_SEGMENT_COLOR=""
|
LAST_SEGMENT_COLOR=""
|
||||||
|
|
||||||
save-and-reload-history "${HISTORY_AUTOSAVE:-0}"
|
_save-and-reload-history "${HISTORY_AUTOSAVE:-0}"
|
||||||
|
|
||||||
if [[ -n "${POWERLINE_PROMPT_DISTRO_LOGO}" ]]; then
|
if [[ -n "${POWERLINE_PROMPT_DISTRO_LOGO}" ]]; then
|
||||||
LEFT_PROMPT+="$(set_color "${PROMPT_DISTRO_LOGO_COLOR}" "${PROMPT_DISTRO_LOGO_COLORBG}")${PROMPT_DISTRO_LOGO}$(set_color - -)"
|
LEFT_PROMPT+="$(set_color "${PROMPT_DISTRO_LOGO_COLOR}" "${PROMPT_DISTRO_LOGO_COLORBG}")${PROMPT_DISTRO_LOGO}$(set_color - -)"
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue