Advertisement
Guest User

Untitled

a guest
Sep 15th, 2019
140
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.71 KB | None | 0 0
  1. SSH_AGENT_FILE="$HOME/.local/var/ssh-agent"
  2.  
  3. load_ssh_agent() {
  4. [ ! -f "$SSH_AGENT_FILE" ] && return 1
  5. source "$SSH_AGENT_FILE"
  6. [ -z "$SSH_AGENT_PID" ] || [ -z "$SSH_AUTH_SOCK" ] && return 1
  7. ! ps -p $SSH_AGENT_PID > /dev/null && return 1
  8. [ "$(ps -o command= $SSH_AGENT_PID)" != "ssh-agent" ] && return 1
  9. [ ! -e "$SSH_AUTH_SOCK" ] && return 1
  10. return 0
  11. }
  12.  
  13. ssh_agent() {
  14. if load_ssh_agent ; then
  15. echo "Loading ssh-agent successful"
  16. else
  17. echo "Loading ssh-agent failed. Starting a new ssh-agent"
  18. SSH_AGENT_DIR="$(dirname "$SSH_AGENT_DIR")"
  19. [ ! -d "$SSH_AGENT_DIR" ] && mkdir -p "$SSH_AGENT_DIR"
  20. ssh-agent | head -n 2 > "$SSH_AGENT_FILE"
  21. source "$SSH_AGENT_FILE"
  22. fi
  23. return 0
  24. }
  25.  
  26. ssh_agent
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement