Skip to content
switch names of grub config files, add echo for chosen grub menuentry