Skip to content

Instantly share code, notes, and snippets.

@jasondenning
Forked from mzedeler/.bashrc_ssh
Created May 31, 2017 09:58
Show Gist options
  • Save jasondenning/4c6f144de3f1f51640595958e1378f7c to your computer and use it in GitHub Desktop.
Save jasondenning/4c6f144de3f1f51640595958e1378f7c to your computer and use it in GitHub Desktop.

Revisions

  1. @mzedeler mzedeler revised this gist Feb 3, 2015. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion .bashrc_ssh
    Original file line number Diff line number Diff line change
    @@ -7,7 +7,7 @@ function start_agent {
    echo "Initializing new SSH agent..."
    touch $SSH_ENV
    chmod 600 "${SSH_ENV}"
    /usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
    /usr/bin/ssh-agent | sed 's/^echo/#echo/' >> "${SSH_ENV}"
    . "${SSH_ENV}" > /dev/null
    /usr/bin/ssh-add
    }
  2. @mzedeler mzedeler revised this gist Feb 3, 2015. 1 changed file with 9 additions and 8 deletions.
    17 changes: 9 additions & 8 deletions .bashrc_ssh
    Original file line number Diff line number Diff line change
    @@ -1,22 +1,23 @@
    #!/bin/bash

    # Set up ssh-agent
    SSH_ENV="$HOME/.ssh/environment"

    function start_agent {
    echo "Initializing new SSH agent..."
    /usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
    echo succeeded
    touch $SSH_ENV
    chmod 600 "${SSH_ENV}"
    /usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
    . "${SSH_ENV}" > /dev/null
    /usr/bin/ssh-add;
    /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;
    kill -0 $SSH_AGENT_PID 2>/dev/null || {
    start_agent
    }
    else
    start_agent;
    fi
    start_agent
    fi
  3. @bluegraybox bluegraybox created this gist Mar 8, 2012.
    22 changes: 22 additions & 0 deletions .bashrc_ssh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,22 @@
    # Set up ssh-agent
    SSH_ENV="$HOME/.ssh/environment"

    function start_agent {
    echo "Initializing 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