Background
I have the following "Host" entry in my ~/.ssh/config
:
Host 101.281.182.816 # randomized for superuser.com posting
HostName 101.281.182.816
User me
This partially overlaps with an entry in my /etc/hosts
:
101.281.182.816 myserver
Question
Will the above entry in /etc/hosts
be redundant if I update my ~/.ssh/config
to:
Host 101.281.182.816 # randomized for superuser.com posting
HostName myserver
User me