host info updates

[distro-setup] / prof-remote

diff --git a/prof-remote b/prof-remote
index 422bb6ec4ed5b55d7bbb6043a7eee76a2b2abaf2..9e436ed8d6dd101ad723843e1cb7eb8550c15b1c 100644 (file)
--- a/prof-remote
+++ b/prof-remote
@@ -1,12 +1,36 @@
 #!/bin/bash
+# I, Ian Kelling, follow the GNU license recommendations at
+# https://www.gnu.org/licenses/license-recommendations.en.html. They
+# recommend that small programs, < 300 lines, be licensed under the
+# Apache License 2.0. This file contains or is part of one or more small
+# programs. If a small program grows beyond 300 lines, I plan to switch
+# its license to GPL.
 
+# Copyright 2024 Ian Kelling
 
-set -e; . /usr/local/lib/err; set +e
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+
+#     http://www.apache.org/licenses/LICENSE-2.0
+
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+
+
+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 ||: