Searched refs:hosts_file (Results 1 – 1 of 1) sorted by relevance
42 hosts_file=/etc/hosts108 if ( grep $master $hosts_file $hosts6_file > /dev/null )112 echo "server not found in $hosts_file or $hosts6_file"265 if ( grep $h $hosts_file $hosts6_file > /dev/null ) || \271 echo "host $h not found in $hosts_file or" \317 if ( grep $1 $hosts_file $hosts6_file > /dev/null ) || \322 echo "host $1 not found in $hosts_file or" \