Etc/hosts cleanup?

It looks like when I run “vagrant up” it will add the host to my /etc/hosts file even if there is one already and there appear to be duplicates. Is that correct? Is it advisable to delete the old ones?

UPDATE: This is working correctly. Vagrant up adds the host. Vagrant halt removes the host. Unknown as to why I had duplicate hosts listed in my /etc/hosts file or if it was potentially causing any problems. If you see duplicates, you can manually edit.

When you run vagrant destroy or vagrant halt it’s supposed to remove those entries.