Commit 72725914 authored by Gibbs, Ian's avatar Gibbs, Ian
Browse files

bugfix, cleanup zombie ssh-agent processes

parent 7515a1f1

.gitlab-ci.yml

+8 −1
Original line number Diff line number Diff line
@@ -409,11 +409,18 @@ job_publish_release: 
      ls -lah ./rpmbuild/SRPMS



    # This section deals with ssh keys

    - eval "$(ssh-agent -s)"

    - |

      . <(ssh-agent -s)

    - echo "chmod 600 ${xv6_rsa}"

    - chmod 600 "${xv6_rsa}"

    - ssh-add "${xv6_rsa}"

    - ssh-add -L



    #

    # set up a trap to kill ssh-agent on exit

    #

    - trap 'test -n "$SSH_AGENT_PID" && . <(ssh-agent -k)' 0



    - mkdir -p ~/.ssh && touch ~/.ssh/known_hosts

    # Remove the old key(s) from known_hosts

    - ssh-keygen -t rsa -R snspackages.ornl.gov