From 8e351cb2fe3b02e2028145b82540b1edf3503ac8 Mon Sep 17 00:00:00 2001 From: Francesco Minnocci Date: Sun, 24 Jan 2021 15:30:23 +0100 Subject: [PATCH] hardcode ZDOTDIR to ${XDG_CONFIG_HOME:-$HOME/.config}/zsh, if it exists. --- bin/mailsync | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/mailsync b/bin/mailsync index 42cd4e0..e6531cf 100755 --- a/bin/mailsync +++ b/bin/mailsync @@ -20,6 +20,7 @@ pgrep -x mbsync >/dev/null && { echo "mbsync is already running." ; exit ;} # archive, notmuch and the GPG home. This is done by searching common profile # files for variable assignments. This is ugly, but there are few options that # will work on the maximum number of machines. +[ -d "${XDG_CONFIG_HOME:-$HOME/.config}/zsh" ] && ZDOTDIR="${XDG_CONFIG_HOME:-$HOME/.config}/zsh" eval "$(grep -h -- \ "^\s*\(export \)\?\(MBSYNCRC\|PASSWORD_STORE_DIR\|NOTMUCH_CONFIG\|GNUPGHOME\)=" \ "$HOME/.profile" "$HOME/.bash_profile" "${ZDOTDIR:-$HOME}/.zprofile" "$HOME/.bashrc" "${ZDOTDIR:-$HOME}/.zshrc" "$HOME/.pam_environment" 2>/dev/null)"