Ping nomedominio -a server proprio se sai il nome e vuoi l'ip almeno credo che sia questa la finalità.