diff options
| author | Nuno Goncalves <nunojpg@gmail.com> | 2021-06-12 04:03:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-11 19:03:25 -0700 |
| commit | a206271460ce49e842b1b410c0424b8c9a0a3d14 (patch) | |
| tree | 294a3c55b1fdfb479d67dd247d4103b3bf2704ed /themes/funky.zsh-theme | |
| parent | 02ce2c4a2f563c4e092410fe3ddc8b29b6de7fdc (diff) | |
| download | zsh-a206271460ce49e842b1b410c0424b8c9a0a3d14.tar.gz zsh-a206271460ce49e842b1b410c0424b8c9a0a3d14.tar.bz2 zsh-a206271460ce49e842b1b410c0424b8c9a0a3d14.zip | |
ssh-agent: improvements (#6309)
* ssh-agent: lock this script with a mkdir style mutex
This script is a kind of singleton pattern and is not reentrant.
If several shells are oppened in a fast sequence, then several
independent ssh-agents would be created, which is not acceptable.
A mutex is required.
Signed-off-by: Nuno Goncalves <nunojpg@gmail.com>
* ssh-agent: only start agent if .ssh dir exists
To use the same profile system-wide, it might happen
that the .ssh directory does not exist
(typically $HOME/.ssh/). This would trigger a error.
Creating the directory would be a option, but it
usually will not make sense to do so because it means
the user doesn't have ssh keys or config.
Signed-off-by: Nuno Goncalves <nunojpg@gmail.com>
* ssh-agent: adds lazy option to disable key loading on start
Option is documented on updated README.md
Signed-off-by: Nuno Goncalves <nunojpg@gmail.com>
* ssh-agent: simplify agent-forwarding checking
Signed-off-by: Nuno Goncalves <nunojpg@gmail.com>
Co-authored-by: Robby Russell <robby@planetargon.com>
Diffstat (limited to 'themes/funky.zsh-theme')
0 files changed, 0 insertions, 0 deletions