# Automatically source ~/.zsh/env.update when the file changes (and exists).
# Can be used e.g. to update SSH_AGENT_PID and GPG_AGENT_INFO variables in
# Automatically source ~/.zsh/env.update when the file changes (and exists).
# Can be used e.g. to update SSH_AGENT_PID and GPG_AGENT_INFO variables in
# File wasn't modified, nothing to do.
if [[ $stat -le $zshenv_reload_time ]]; then
return
# File wasn't modified, nothing to do.
if [[ $stat -le $zshenv_reload_time ]]; then
return