zsh/rc: load ~/.zsh/env.update before each prompt

diff --git a/zsh/rc b/zsh/rc
index ff59f86b59d30010062d43b6b720c847bda4c621..3d15d2e3dbaaa418bf78ad12da680f6358e4ed30 100644 (file)
--- a/zsh/rc
+++ b/zsh/rc
@@ -1075,4 +1075,33 @@ zshrc_restart_precmd() {
 }
 precmd_functions+=(zshrc_restart_precmd)
 
+
+# RELOAD SETTINGS
+
+zshenv_reload_time=0 # load before first command
+
+# 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
+# running zsh processes. Sourced immediately before executing shell commands
+# (preexec) to ensure the environment is always up to date.
+zshenv_reload_preexec() {
+    local file
+    file=~/.zsh/env.update
+
+    local stat
+    if ! zstat -A stat +mtime $file 2>/dev/null; then
+        return
+    fi
+    # File wasn't modified, nothing to do.
+    if [[ $stat -le $zshenv_reload_time ]]; then
+        return
+    fi
+    zshenv_reload_time=$EPOCHSECONDS
+
+    unsetopt warn_create_global
+    . $file
+    setopt warn_create_global
+}
+preexec_functions+=(zshenv_reload_preexec)
+
 # vim: ft=zsh