Related changes
← GRUB
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
1 July 2026
| N 17:40 | Grub-menu diffhist +5,471 Kenneth talk contribs (Created page with "== grub-menu.sh == Ref: https://askubuntu.com/questions/599208/how-to-list-grubs-menuentries-in-command-line grub-menu.sh short # or grub-menu.sh long <pre> #!/bin/bash # NAME: grub-menu.sh # PATH: $HOME/bin # DESC: Written for AU Q&A: https://askubuntu.com/q/1019213/307523 # DATE: Apr 5, 2018. Modified: July 27, 2019 # UPDT: Scroll bar was outside of dialog box. Move windo border line. # $TERM variable may be missing when called via desktop shortcut CurrentTERM=...") | ||||