shortcut for how i share ssh-agent's pid for my bash sessions