Update plugins/direnv/direnv.plugin.zsh

This commit is contained in:
Carlo Sala 2025-01-23 20:36:41 +01:00 committed by GitHub
commit aa64a72bf3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,5 +1,5 @@
# If direnv is not found, don't continue and print a warning
if ! command -v direnv &>/dev/null; then
if (( ! $+commands[direnv] )); then
echo "Warning: direnv not found. Please install direnv and ensure it's in your PATH before using this plugin."
return
fi