git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHarald Pfeiffer <coding _ lirion.de> 2022-03-21 11:21:48 +0100
committerHarald Pfeiffer <coding _ lirion.de> 2022-03-21 11:21:48 +0100
commitc86f4477e70d890660aac68fba6721dec725962f (patch)
treeb56a283268be9ba1f21d4da9c9745deb844df3a0
parent1475a69efda4e05b559d7868020f3c0d0f599cb4 (diff)
downloaddotfiles-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.bash4
-rw-r--r--.bash/vars.bash4
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