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