All public logs

Combined display of all available logs of Omnia. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 17:40, 1 July 2026 Kenneth talk contribs created page Grub-menu (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=...")