Support setting PROMPT_THEME to disabled

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
This commit is contained in:
Andrei Jiroh Halili 2023-10-07 08:43:35 +08:00
parent adcca67efc
commit d94b5c5da3
No known key found for this signature in database
GPG key ID: 67BFC91B3DA12BE8

View file

@ -20,7 +20,9 @@ export GPG_TTY=$(tty)
if command -v oh-my-posh >>/dev/null && [[ $FF_USE_OHMYPOSH != "false" ]]; then
eval "$(oh-my-posh init bash)"
else
if [[ $PROMPT_THEME != "" ]] && [[ -f "$HOME/.config/bash/shell-prompts/${PROMPT_THEME}.bashrc" ]]; then
if [[ $PROMPT_THEME == "disabled" ]]; then
true
elif [[ $PROMPT_THEME != "" ]] && [[ -f "$HOME/.config/bash/shell-prompts/${PROMPT_THEME}.bashrc" ]]; then
source "$HOME/.config/bash/shell-prompts/${PROMPT_THEME}.bashrc"
else
source "$HOME/.config/bash/shell-prompts/vern.bashrc"