File hosts?? Che cos’è??? Capita molto raramente di dover modificare a mano il file hosts presente in Mac OS X ma se dovesse capitarvi ecco una breve guida per farlo senza perdere troppo tempo.
Nota per i profani
Il file hosts è un file che viene utilizzato dal computer per il mapping “ip address – hostname”. Molto utile se volete dire al computer “Guarda che a questo indirizzo IP corrisponde questo nome pc”.
Come si modifica?
Posso dirvi che a mio parere la strada più veloce che ho trovato per modificare il file hosts è attraverso il Terminale. La scelta può essere considerata quasi obbligata essendo hosts un file di sistema protetto da scritture accidentali che necessita di privilegi root per per essere modificato.
Copiate ed incollate tranquillamente questi comandi nel vostro terminale:
cd /private/etc
sudo pico hosts
Finestra del terminale con i comandi appena descritti
Inserite ora l’indirizzo IP – hostname che volete forzare all’interno del file hosts attraverso l’editor testuale pico.
Editor testuale “Pico”
Finito! Salvate il file con la combinazione di comandi ctrl + X
Se volete approfondire cosa sia il file hosts poteteleggere queste note su Wiki