rename err to bash-bear

[distro-setup] / prof-remote

diff --git a/prof-remote b/prof-remote
index 422bb6ec4ed5b55d7bbb6043a7eee76a2b2abaf2..9117f4630ae7881651cd47990b802f00811dfe95 100644 (file)
--- a/prof-remote
+++ b/prof-remote
@@ -1,12 +1,15 @@
 #!/bin/bash
 
 
-set -e; . /usr/local/lib/err; set +e
+set -e; . /usr/local/lib/bash-bear; set +e
 
 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 ||: