rename err to bash-bear

[distro-setup] / prof-remote

diff --git a/prof-remote b/prof-remote
old mode 100755 (executable)
new mode 100644 (file)
index d848894..9117f46
--- a/prof-remote
+++ b/prof-remote
@@ -1,13 +1,19 @@
 #!/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
-  ssh -t $remote screen -Dr -S profanity
+  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 ||:
+  builtin kill %% &> /dev/null ||:
   if (( EPOCHSECONDS > start + 600 )); then
     fastcon=0
   fi