4 set -e; .
/usr
/local
/lib
/err
; set +e
10 if ! ssh-add
-l |
grep SHA256
:YEhwH5u
+wkqkSl
/dCq8rFebi2qz7Os3RmIWPxMg13eA
&>/dev
/null
; then
13 # -n or else it competes with the other ssh for reading stdin.
14 ssh -n $remote prof-tail | prof-notify
&
15 ssh -t $remote screen
-Dr -S profanity ||
:
16 builtin kill %% &> /dev
/null ||
:
17 if (( EPOCHSECONDS
> start
+ 600 )); then
20 # we try to reconnect quickly for a while (just once as I write this),
21 # then try to reconnect slowly.
22 if (( fastcon
< 1 )); then
23 echo "waiting 10. any key to cancel"
25 fastcon
=$
((fastcon
+1))
27 echo "waiting 120. any key to cancel"
28 # like sleep but stop on any input