2017-01-05 22:32 GMT+02:00 dave <dengv...@charter.net>: > With some help from Kent this turns out to be not too onerous. > > Boot your system and on the boot menu note which kernel you want ( by > number ) starting with 0. > Ditto if you are in the alternate menu. > > #modify /etc/default/grub > > $cd /etc/default > sudo vim grub > change GRUB_DEFAULT=0 to GRUB_DEFAULT="n" or if in alternate menu > to GRUB_DEFAULT="2>n" > save and exit vim > > # or in main menu just GRUB_DEFAULT="count-1" > # in alternate menu = "line number of alternate menu in main > menu>count-1 in menu" > > #update grub.cfg > sudo update-grub > > #reboot > sudo shutdown -r now > > # or you can select the kernel like this by string. > #GRUB_DEFAULT="n>Ubuntu, with Linux 3.4-9-rtai-686-pae" > #where n is the entry you want (count -1). > > #For the original menu I think you can omit the n> and go with it. > #remember anytime you change /etc/default/grub you need to update grub. > Don't ask me > #how I know. > > Now it is up to someone good with good documentation skills to make > certain this is understandable and get it into the docs. > > I successfully used grub-customizer to change boot options (isolcpus etc.) an set defaults.
Andrew ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ Emc-users mailing list Emc-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/emc-users