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 |