Ho modificato il file hosts di Windows in C: \ Windows \ System32 \ drivers \ etc. Ho aggiunto la linea
xxx.yyy.xxx.18 jira.example.com
ma la voce è semplicemente ignorata .. Ho anche provato a disattivare la protezione da virus (Avira) ma non ho idea di cosa provare dopo ...
Esiste un criterio di gruppo di Windows che disattiva / ignora il file hosts?
Per essere chiari, il file viene salvato nella posizione corretta, ma le modifiche stesse vengono ignorate.
hosts
file modificato prima dell'aggiornamento da W8.1 e tutte le aggiunte funzionano, incluse alcune che si associano a indirizzi che non sono più validi e che mappano ping
gli indirizzi correttamente, anche se non c'è risposta ovviamente.