Grub

list all boot entries (” grub menu titles “) :

awk -F\' '/menuentry / {print $2}' /boot/grub/grub.cfg 

xed admin:///etc/default/grub