Tim:
>> It's not difficult to do. And unless you never prune out all your prior
>> kernels (which is bad management), it's not a lot of work. The manual
>> isn't too bad describing this, and I certainly would read a manual for
>> something if I was considering customising my PC to do something.
Timothy Murphy:
> Er ... where is the grub manual?
> Do you mean the "man grub" entry?
> Or what you get if you say "info grub"?
> The latter is much more informative,
> but very difficult to navigate through, IMHO.
Personally, I find that man pages are quite dire to use, but info files
take the cake for being damn awkward (about as bad as using Lynx). But
if one actually pays attention while reading the grub man file, this is
at the bottom:
SEE ALSO
The full documentation for grub is maintained as a Texinfo manual. If
the info and grub programs are properly installed at your site, the
command
info grub
should give you access to the complete manual.
So, it's not hard to find out about the info version of the manual, and
it's not hard to figure out what "the full documentation for..." or the
"complete manual" means.
i.e. Probably more than what you're currently reading.
I nearly always check out the "see also" sections of man files, unless
I've got the answers I need already. I've also checked out the web page
for GRUB.
>> And I do think it *is* intuitive that a reboot actually reboots your
>> PC using the same system that you were already using,
> But it doesn't, does it?
I was countering the comment that *that* sort of thing wasn't intuitive,
where I say it is (i.e. reboot "reboots" what you're currently using; as
opposed to doing a reboot, and something else boots up).
> Do you mean it does this if you add the command you suggested?
> Incidentally you gave this in two forms, "default saved" and "savedefault".
> Will either work?
> And what precisely will it do?
Read the manual, and find out. But briefly, it's done in two parts:
Any item you choose with a "savedefault" command, will save that item as
the default for the next bootup, as well as whatever other commands are
in that item.
The "default saved" before all the items says what item to use by
default. Usually, it's a specific item (e.g. "default 0" runs the first
entry, the one at the top of the list). Using "default saved" means to
use whichever got saved as default, last time.
Hmm, I wonder what happens the first time around, when you've never
booted before and set something as a default? ;-)
> Grub is a great program, IMHO,
> but its documentation is abysmal.
Hmm, not sure if it's much worse than many other things. (Which doesn't
mean that it's good.)
I really loathe its manner of starting counting from zero. Sure, it
makes sense for 0 to refer to a whole partition, and 1 for the first
partition. But 0 for the first drive is nonsensical.
> As for running grub interactively,
> this is rather like changing a bulb in the dark.
I tend to agree. It's not helped by having some light white writing
over a light blue background, either.
--
Don't send private replies to my address, the mailbox is ignored.
I read messages from the public lists.
