various fixes

[distro-setup] / prof-remote

diff --git a/prof-remote b/prof-remote
index 422bb6ec4ed5b55d7bbb6043a7eee76a2b2abaf2..787335d070b5a5b8d45013dc8b0e34ce36155ae6 100644 (file)
--- a/prof-remote
+++ b/prof-remote
@@ -7,6 +7,9 @@ remote=$1
 fastcon=0
 while true; do
   start=$EPOCHSECONDS
+  if ! ssh-add -l | grep SHA256:YEhwH5u+wkqkSl/dCq8rFebi2qz7Os3RmIWPxMg13eA &>/dev/null; then
+    ssh -n $remote
+  fi
   # -n or else it competes with the other ssh for reading stdin.
   ssh -n $remote prof-tail | prof-notify &
   ssh -t $remote screen -Dr -S profanity ||: