Skip to content

Instantly share code, notes, and snippets.

@tracker1
Created July 23, 2014 23:05
Show Gist options
  • Select an option

  • Save tracker1/46ca46f80fbc2c9d15e5 to your computer and use it in GitHub Desktop.

Select an option

Save tracker1/46ca46f80fbc2c9d15e5 to your computer and use it in GitHub Desktop.

Revisions

  1. tracker1 created this gist Jul 23, 2014.
    21 changes: 21 additions & 0 deletions .bashrc
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,21 @@
    SSH_ENV=$HOME/.ssh/environment

    # start the ssh-agent
    function start_agent {
    echo "Initializing new SSH agent..."
    # spawn 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
    }

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