Esiste un comando linux per verificare quale dns è usato al momento in un computer?