diff options
| author | Mike Crute <mike@crute.us> | 2020-12-30 00:29:20 -0800 |
|---|---|---|
| committer | Mike Crute <mike@crute.us> | 2020-12-30 00:29:20 -0800 |
| commit | 3f403b69f78e960451d6e758f962e0e078029538 (patch) | |
| tree | 0667b0e1abeca3d9893a03c5c8e8a65505f4c951 /.bashrc | |
| parent | 679849f91577a750c154852c9d16b22a262e76e8 (diff) | |
| download | dotfiles-3f403b69f78e960451d6e758f962e0e078029538.tar.bz2 dotfiles-3f403b69f78e960451d6e758f962e0e078029538.tar.xz dotfiles-3f403b69f78e960451d6e758f962e0e078029538.zip | |
Leave ssh agent getting to local config
Diffstat (limited to '.bashrc')
| -rw-r--r-- | .bashrc | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -737,5 +737,5 @@ done | |||
| 737 | [[ -r ~/.homebrew_github_api_token ]] && export HOMEBREW_GITHUB_API_TOKEN=$(cat ~/.homebrew_github_api_token) | 737 | [[ -r ~/.homebrew_github_api_token ]] && export HOMEBREW_GITHUB_API_TOKEN=$(cat ~/.homebrew_github_api_token) |
| 738 | [[ -f ~/.bashrc_local ]] && source ~/.bashrc_local | 738 | [[ -f ~/.bashrc_local ]] && source ~/.bashrc_local |
| 739 | 739 | ||
| 740 | # Make sure we can talk to the SSH agent if one is running | 740 | # Getting SSH agent can be pretty slow on some systems. Do this in |
| 741 | get_ssh_agent | 741 | # .bashrc_local if it's really needed. |