diff options
| author | mail_redacted_for_web | 2022-03-21 11:21:48 +0100 | 
|---|---|---|
| committer | mail_redacted_for_web | 2022-03-21 11:21:48 +0100 | 
| commit | c86f4477e70d890660aac68fba6721dec725962f (patch) | |
| tree | b56a283268be9ba1f21d4da9c9745deb844df3a0 | |
| parent | 1475a69efda4e05b559d7868020f3c0d0f599cb4 (diff) | |
| download | dotfiles-c86f4477e70d890660aac68fba6721dec725962f.tar.bz2 | |
Execute ssh agent only on machines we want to be the source
Also, see ssh_config(5) and ForwardAgent
| -rw-r--r-- | .bash/exec.bash | 4 | ||||
| -rw-r--r-- | .bash/vars.bash | 4 | 
2 files changed, 7 insertions, 1 deletions
| diff --git a/.bash/exec.bash b/.bash/exec.bash index a239d5e..ffbeaae 100644 --- a/.bash/exec.bash +++ b/.bash/exec.bash @@ -7,7 +7,9 @@ set bell-style visible  # start ssh agent. this script will not try to run a new instance  # (unless we specified -f, which we don't). -"$HOME/bin/ssh-agent-launcher" -q +if echo "${SSHAGH[@]}" | fgrep --word-regexp "$(hostname -f)";then +	"$HOME/bin/ssh-agent-launcher" -q +fi  # because on some hosts the login path is fucked, unset in .local  # if it causes irritation: diff --git a/.bash/vars.bash b/.bash/vars.bash index ac56a6d..dcb7fb2 100644 --- a/.bash/vars.bash +++ b/.bash/vars.bash @@ -11,6 +11,10 @@ export SSHHOME="${HOME}/.ssh"  SSHKEYS=( "${SSHHOME}/id_ed25519" "${SSHHOME}/id_rsa" )  # 2. SSH environment file  export SSHENVFILE="${HOME}/.ssh/sshenv" +# 3. Hosts on which ssh-agent should run, FQDN. Array. +SSHAGH=( "riesling.example.com" "schorle.example.com" ) +SSHAGH+=( "woschd.example.com" ) +export SSHAGH  # ----- SHELL ----- #  for pa in "/usr/local/bin" "${HOME}/bin";do | 
