{
  networking.extraHosts = ''
    172.20.28.150 ranger.musa.sesar.di.unimi.it
  '';
}