La maggior parte delle principali distribuzioni Linux (sopratutto quelle desktop-oriented) affida la gestione della fase di boot a GRUB. Nonostante la sua grande diffusione, che è iniziata a diventare rilevante già molti anni fa, la disponibilità di un tool grafico per la sua personalizzazione è arrivata solo un paio di anni fa. Si tratta...