From 42d85039283ba86a4699696a1b20efb857a36342 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Geoffrey=20=E2=80=9CFrogeye=E2=80=9D=20Preud=27homme?= Date: Thu, 20 Aug 2020 21:38:48 +0200 Subject: [PATCH] Post crash --- config/i3/pitch.png | Bin 0 -> 67 bytes config/scripts/machines | 6 ++++- config/shell/shenv | 56 +++++++++++++++++++++++++--------------- 3 files changed, 40 insertions(+), 22 deletions(-) create mode 100644 config/i3/pitch.png diff --git a/config/i3/pitch.png b/config/i3/pitch.png new file mode 100644 index 0000000000000000000000000000000000000000..aac403dbb1251e8b8d3552445ad6bf0ee1f5607c GIT binary patch literal 67 zcmeAS@N?(olHy`uVBq!ia0vp^j3CSbBp9sfW`_bPE>9Q75DwYo1R$G "${SSH_ENV}" - chmod 600 "${SSH_ENV}" - . "${SSH_ENV}" > /dev/null -} - -if [ -f "${SSH_ENV}" ] -then - . "${SSH_ENV}" > /dev/null - if [ ! -d "/proc/${SSH_AGENT_PID}" ] || [ "$(cat "/proc/${SSH_AGENT_PID}/comm")" != "ssh-agent" ] - then - start_agent - fi -else - start_agent -fi - direnv() { # environment variable name, path export "$1"="$2" mkdir -p "$2" @@ -128,3 +107,38 @@ prependpath "$HOME/.config/scripts" ) # For superseding commands with better ones if they are present + +# SSH Agent + +# If GPG agent is configured for SSH +if grep -q ^enable-ssh-support$ $GNUPGHOME/gpg-agent.conf 2> /dev/null +then + # Load GPG agent + unset SSH_AGENT_PID + if [ "${gnupg_SSH_AUTH_SOCK_by:-0}" -ne $$ ]; then + export SSH_AUTH_SOCK="$(gpgconf --list-dirs agent-ssh-socket)" + fi + export GPG_TTY=$(tty) + gpg-connect-agent updatestartuptty /bye >/dev/null + +else + # Load ssh-agent... ONCE + SSH_ENV="$HOME/.ssh/environment" + + start_agent() { + ssh-agent > "${SSH_ENV}" + chmod 600 "${SSH_ENV}" + . "${SSH_ENV}" > /dev/null + } + + if [ -f "${SSH_ENV}" ] + then + . "${SSH_ENV}" > /dev/null + if [ ! -d "/proc/${SSH_AGENT_PID}" ] || [ "$(cat "/proc/${SSH_AGENT_PID}/comm")" != "ssh-agent" ] + then + start_agent + fi + else + start_agent + fi +fi