Era il lontano 2018 quando raccontavamo di Pop!_OS, sistema operativo basato su Ubuntu lanciato nell’ottobre del 2017 da System 76, e dell’abilitazione di systemd-boot come rimpiazzo di GRUB, il boot loader che potremmo definire “storico” di Linux (OK, gli utilizzatori di lilo,...