Searched refs:hosts6_file (Results 1 – 1 of 1) sorted by relevance
43 hosts6_file=/etc/inet/ipnodes108 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 ) || \272 "$hosts6_file.\nNot added to the list."317 if ( grep $1 $hosts_file $hosts6_file > /dev/null ) || \323 "$hosts6_file.\nNot added to the list."