dev-env/bin/ssh
2025-05-25 22:21:05 +02:00

23 lines
452 B
Bash

#!/bin/bash
SSH_ENV="$HOME/.ssh/agent-environment"
function dssh {
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;
ssh-add ~/.ssh/gitea_ssh
}
if [ -f "$SSH_ENV" ]; then
. "$SSH_ENV" >/dev/null
ps -ef | grep $SSH_AGENT_PID | grep ssh-agent$ >/dev/null || {
dssh
}
else
dssh
fi