Configuration de l’agent

Sur un client GNU/linux

Le fichier à éditer est le fichier .bashrc

Dans git-bash

Sur le client, créer le fichier .bash_profile :

touch .bash_profile

Contenu à ajouter

Éditer le fichier souhaité (.bash_profile ou .bashrc ou …) et ajoutez les lignes suivantes à la fin du fichier :

SSH_ENV="$HOME/.ssh/environment"

function start_agent {
     echo "Initialising new SSH agent..."
     /usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
     echo succeeded
     chmod 600 "${SSH_ENV}"
     . "${SSH_ENV}" > /dev/null
     /usr/bin/ssh-add;
}

# Source SSH settings, if applicable

if [ -f "${SSH_ENV}" ]; then
     . "${SSH_ENV}" > /dev/null
     #ps ${SSH_AGENT_PID} doesn't work under cywgin
     ps -ef | grep ${SSH_AGENT_PID} | grep ssh-agent$ > /dev/null || {
         start_agent;
     }
else
     start_agent;
fi

Chargement de la configuration

Pour charger la configuration nouvellement éditée, exécuter la commande suivante (cette opération s’appelle sourcer le fichier édité) :

# Fichier .bash_profile
. .bash_profile

# Fichier .bashrc
. .bashrc

Vérification

Se déconnecter du terminal et le relancer pour vérifier si l’agent ssh est fonctionnel (il ne devrait pas vous demander la passphrase à nouveau si vous vous connectez à un serveur via ssh).

En cas de non fonctionnement, voir: https://github.com/gnhuy91/til/issues/26

Mauvais enregistrement de l’agent

Si jamais la clef n’a pas été déverrouillée au démarrage de l’agent, taper la commande suivante:

start_agent

Puis relancer les vérifications.