awk '$1~/^[nN][dD][mM][pP]/ && $2~/^9000\/tcp/ {sub("9000","10000", $0); print $0}' /etc/hosts >/etc/hosts.maj |
Ça effectue le remplacement voulu, avec un maximum de fiabilité.
Si le formatage des lignes n'est pas important pour toi, sub("9000","10000", $2) est encore plus fiable que sub("9000","10000", $0).