gparted GNOME partition editor for manipulating disk partitions Curtis Gedak gedakc