#!/bin/bash

SSH_ENV="$HOME/.ssh/agent-environment"
function dssh {
    ADD_AGENT=0

    if [ -f "$SSH_ENV" ]; then
        . "$SSH_ENV" >/dev/null
        ps -ef | grep $SSH_AGENT_PID | grep ssh-agent$ >/dev/null || {
            ADD_AGENT=1
        }
    else
        ADD_AGENT=1
    fi

    if [ $ADD_AGENT -eq 1 ]; then
        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/gitea_ssh
    else
        echo "No agent necessary"
    fi
}