zsh/rc: don't load ~/.zsh/env.update if older than reboot

diff --git a/zsh/rc b/zsh/rc
index 3d15d2e3dbaaa418bf78ad12da680f6358e4ed30..1c7c846c9edf623a675b0f7b75bbf6980345b0ac 100644 (file)
--- a/zsh/rc
+++ b/zsh/rc
@@ -1079,6 +1079,7 @@ precmd_functions+=(zshrc_restart_precmd)
 # RELOAD SETTINGS
 
 zshenv_reload_time=0 # load before first command
+zshenv_boot_time=$(date -d "$(uptime -s)" '+%s') # uptime in epoch seconds
 
 # 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
@@ -1092,6 +1093,11 @@ zshenv_reload_preexec() {
     if ! zstat -A stat +mtime $file 2>/dev/null; then
         return
     fi
+    # File was modified before reboot. Skip it to prevent loading of old
+    # values.
+    if [[ $stat -lt $zshenv_boot_time ]]; then
+        return
+    fi
     # File wasn't modified, nothing to do.
     if [[ $stat -le $zshenv_reload_time ]]; then
         return