# HG changeset patch
# User Steve Huston <huston@princeton.edu>
# Date 1714067982 14400
# Node ID e7e331a51f2c7df4466d38e48cb337f661e7d070
# Parent  6dc992e4fc4ad7b9233faa700ed54cfa9fa9644b
Just remove the -s option since we're redirecting anyway

diff -r 6dc992e4fc4a -r e7e331a51f2c .ssh/athome
--- a/.ssh/athome	Thu Apr 25 13:21:10 2024 -0400
+++ b/.ssh/athome	Thu Apr 25 13:59:42 2024 -0400
@@ -20,9 +20,9 @@
 # Now how to get the home IP.. let's loop through ways it's possible
 HOMEDNS="b6800200.eero.online"
 
-if which -s getent awk > /dev/null 2>&1 ; then
+if which getent awk > /dev/null 2>&1 ; then
   HOMEIP=`getent ahostsv4 $HOMEDNS | awk '{print $1; exit}'`
-elif which -s dig > /dev/null 2>&1 ; then
+elif which dig > /dev/null 2>&1 ; then
   HOMEIP=`dig +short $HOMEDNS`
 else
   exit $off