From: Simon Ruderich <simon@ruderich.org>
Date: Fri, 2 Oct 2015 01:47:54 +0000 (+0200)
Subject: zsh/rc: load ~/.zsh/env.update before each prompt
X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=a410c661c9ae0951cb72e7e76b1963930d8bed0d;p=config%2Fdotfiles.git

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

diff --git a/zsh/rc b/zsh/rc
index ff59f86..3d15d2e 100644
--- 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