fix(emotty): show error on missing plugin dependencies (#9811)

This commit is contained in:
Marc Cornellà 2022-02-10 18:25:09 +01:00
parent 6396dfb97f
commit 7b708519b9
No known key found for this signature in database
GPG key ID: 0314585E776A9C1B

View file

@ -46,6 +46,16 @@
# is shown (see vcs_action_glyph variable, default: chevron). # is shown (see vcs_action_glyph variable, default: chevron).
# ------------------------------------------------------------------------------ # ------------------------------------------------------------------------------
(( ${+functions[emotty]} )) || {
echo "error: the emotty theme requires the emotty plugin" >&2
return 1
}
(( ${+emoji} )) || {
echo "error: the emotty theme requires the emoji plugin" >&2
return 1
}
user_prompt="$(emotty)" user_prompt="$(emotty)"
root_prompt="$emoji[skull]" root_prompt="$emoji[skull]"
warn_prompt="$emoji[collision_symbol]" warn_prompt="$emoji[collision_symbol]"