2023-11-30 12:34:21 +00:00
|
|
|
env_init
|
|
|
|
|
menu_init
|
|
|
|
|
|
|
|
|
|
default='lg'
|
|
|
|
|
|
2024-01-15 17:06:58 +00:00
|
|
|
menuentry 'bash / stable / tui' --id 'st' { debsquash '/w/boot/bash/stable/tui' }
|
|
|
|
|
menuentry 'bash / stable / gui' --id 'sg' { debsquash '/w/boot/bash/stable/gui' }
|
2023-11-30 12:34:21 +00:00
|
|
|
menu_split
|
2024-01-15 17:06:58 +00:00
|
|
|
menuentry 'bash / latest / tui' --id 'lt' { debsquash '/w/boot/bash/latest/tui' }
|
|
|
|
|
menuentry 'bash / latest / gui' --id 'lg' { debsquash '/w/boot/bash/latest/gui' }
|
2024-02-09 18:34:48 +00:00
|
|
|
menu_split
|
|
|
|
|
menuentry 'alma / stable' { almsquash '/w/boot/alma/stable' }
|
|
|
|
|
menuentry 'alma / latest' { almsquash '/w/boot/alma/latest' }
|
