bash: start ssh-agent if not running

[~bandali/configs] / .bashrc

# If not running interactively, don't do anything else
[[ $- != *i* ]] && return

# i-beam cursor
# echo -e "\033[5 q"              # blinking
echo -e "\033[6 q"              # non-blinking

# various bash tweaks
shopt -s histappend
shopt -s cmdhist
HISTSIZE=
HISTFILESIZE=
HISTCONTROL=ignoreboth
HISTIGNORE='ls:l:s:g:[bf]g:history'
HISTTIMEFORMAT='%F %T '
stty stop ""

# aliases
alias ls='ls --color=auto'
alias l='ls -lh'                # long format and human-readable sizes
alias ll='l -A'                 # long format, all files
alias g='git'
include /usr/share/bash-completion/completions/git && __git_complete g _git
alias mpv="mpv --ytdl-format mp4"
alias mv="mv -iv"
alias cp="cp -iv"
alias scl=systemctl
alias jcl=journalctl
alias m="mbsync csclub; mbsync uwaterloo; mbsync amin"
alias best="youtube-dl -f best"

aur() {
   cd ~/usr/builds
   git clone https://aur.archlinux.org/${1}.git
   cd ${1}
}

# fzf
include /usr/share/fzf/key-bindings.bash
include /usr/share/fzf/completion.bash

# from https://unix.stackexchange.com/a/55935
a_prompt() {
    cwd=$(sed -e "s:$HOME:~:" -e "s:\(\.\?[^/]\)[^/]*/:\1/:g" <<<$PWD)
    printf $cwd
}
PS1="\u@\h \$(a_prompt)> "

if ! pgrep -u "$USER" ssh-agent > /dev/null; then
    ssh-agent > ~/.ssh-agent-thing
fi
if [[ ! "$SSH_AUTH_SOCK" ]]; then
    eval "$(<~/.ssh-agent-thing)"
fi