Ya es viejo esto tambien y para sacar la ip desde el irc de esta forma tambien.
Ahora los servidores las encriptan cada vez mas dificil y no es facil con el /dns nick
Existe otra forma con el /whowas nick por ejemplo.
/whowas Diablo---Rojo y (depende el servidor) te va a dar algo asi 200.63.128.???
Bien lo que hay que hacer es cambiar los signos de preguntas por números del 0 al 9 por ejemplo
/whowas 200.63.128.1??
/whowas 200.63.128.2??
/whowas 200.63.128.3??
Cada vez que acertemos el número nos va a decir en que canal esta el usuario y mas información.
Despues teniendo el primer número hacemos lo mismo con los otros dos
/whowas 200.63.128.2??
/whowas 200.63.128.21?
/whowas 200.63.128.22?
/whowas 200.63.128.23?
/whowas 200.63.128.25?
/whowas 200.63.128.250
y ahi averiguamos la ip , es solo cuestion de cambiar los signos por los números.
Esta forma es vieja pero en algunos servidores sigue funcionando.
Salu2