80f051d
#!/bin/sh
80f051d
1c19463
GPG_AGENT=/usr/bin/gpg-agent
80f051d
## Run gpg-agent only if not already running, and available
c78ffec
if [ -z "${GPG_AGENT_INFO}" -a -x "${GPG_AGENT}" ] ; then
92b707f
92b707f
  # check validity of GPG_SOCKET (in case of session crash)
de49e57
  GPG_AGENT_INFO_FILE=${HOME}/.gpg-agent-info
de49e57
  if [ -f "${GPG_AGENT_INFO_FILE}" ]; then
de49e57
    GPG_SOCKET=$(cat "${GPG_AGENT_INFO_FILE}" | cut -f1 -d:)
de49e57
    if ! test -S "${GPG_SOCKET}" -a -O "${GPG_SOCKET}" ; then
de49e57
      rm -f "${GPG_AGENT_INFO_FILE}" 2>&1 >/dev/null
92b707f
    fi
92b707f
  fi
92b707f
de49e57
  if [ -f "${GPG_AGENT_INFO_FILE}" ]; then
de49e57
    export GPG_AGENT_INFO=$(cat "${GPG_AGENT_INFO_FILE}")
80f051d
    export GPG_TTY=$(tty)
80f051d
  else
80f051d
    eval "$(${GPG_AGENT} -s --daemon ${GPG_OPTIONS})"
c78ffec
    echo ${GPG_AGENT_INFO} > "${HOME}/.gpg-agent-info"
80f051d
  fi
92b707f
80f051d
fi