From a410c661c9ae0951cb72e7e76b1963930d8bed0d Mon Sep 17 00:00:00 2001 From: Simon Ruderich Date: Fri, 2 Oct 2015 03:47:54 +0200 Subject: [PATCH] zsh/rc: load ~/.zsh/env.update before each prompt --- zsh/rc | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) 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 -- 2.45.2