Updated comments.
This commit is contained in:
parent
6b794373f2
commit
4e5fee870f
3 changed files with 2 additions and 5 deletions
|
@ -34,10 +34,6 @@ fi
|
|||
[[ -d "$HOME/.local/bin" ]] && export PATH="$HOME/.local/bin:$PATH"
|
||||
[[ -d "$HOME/bin" ]] && export PATH="$HOME/bin:$PATH"
|
||||
|
||||
#When registration of connection fails, set a marker in .bash_profile.
|
||||
#Check for that marker in .bash_logout and don't remove socket from agents file - would be removing
|
||||
#another shells socket. Will need to clear the marker if subsequently (from prompt_command) find a new socket and reg it.
|
||||
|
||||
# Make ssh-agent work better.
|
||||
hash ssh-add ssh-agent >/dev/null 2>&1 && {
|
||||
if [[ -e "$SSH_AUTH_SOCK" ]]; then
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue