From ebdc690c88c82d1d7f9d391374239f9644b4ed85 Mon Sep 17 00:00:00 2001 From: James Bunton Date: Mon, 24 Jan 2022 19:15:37 +1100 Subject: [PATCH] ssh-screen-wrapper: simplify --- hacks/ssh-screen-wrapper | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/hacks/ssh-screen-wrapper b/hacks/ssh-screen-wrapper index fe083cc..c40a490 100755 --- a/hacks/ssh-screen-wrapper +++ b/hacks/ssh-screen-wrapper @@ -3,16 +3,6 @@ set -eu hostname="$(basename "$0")" -local_hostname="${hostname}.localnet" -public_hostname="p${hostname}" - -if grep -Eq "^Host ${hostname}\b" ~/.ssh/config; then - true -elif ping -c1 -t1 "$local_hostname" &> /dev/null; then - hostname="$local_hostname" -else - hostname="$public_hostname" -fi while true; do clear -- 2.39.2