Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #176752

Re: How to seperate grub devices?

Show all headers | View raw

Hi,

Hans wrote:
> > If you do not understand me yet, take this discussion as closed.

Mark Fletcher wrote:
> No, mate, we UNDERSTOOD you from the beginning, the problem is that 
> _what you are describing is impossible_.

To be exacting: It obviously goes beyond the imagination of the people
here, who have experience with running update-grub.

Hans, if you are sure that this happens and prepared to present the
experimental facts which make you sure, then consider to ask at
  help-grub@gnu.org
  https://lists.gnu.org/mailman/listinfo/help-grub
how this could be possible.

As one can see on
  http://lists.gnu.org/archive/html/help-grub/2017-01/threads.html
the main supporter is quite busy. So be friendly and concise when
you present your case.


Why your problem should be on topic there:

man 8 update-grup says its a "stub for grub-mkconfig". On my Debian 8
i see in file /usr/sbin/update-grub :
  #!/bin/sh
  set -e
  exec grub-mkconfig -o /boot/grub/grub.cfg "$@"
(Did you check what your "update-grub" command actually does ?
 In mine i see no indication that it would write two grub.cfg files.)

man 8 grub-mkconfig says you should report bugs to bug-grub@gnu.org.
This is the neighbor list of help-grub. Since your problem is not
yet identified as a bug in GRUB, i would start by asking at help-grub.

I'd skip "update-grub" and ask directly about

  grub-mkconfig -o /boot/grub/grub.cfg ...your.other.arguments.if.any...

(After having tested that it indeed shows the problematic behavior,
 of course.)


Have a nice day :)

Thomas

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

How to seperate grub devices? Hans <hans.ullrich@loop.de> - 2017-01-14 11:00 +0100
  Re: How to seperate grub devices? Pascal Hambourg <pascal@plouf.fr.eu.org> - 2017-01-14 11:20 +0100
    Re: How to seperate grub devices? Hans <hans.ullrich@loop.de> - 2017-01-14 11:40 +0100
      Re: How to seperate grub devices? Pascal Hambourg <pascal@plouf.fr.eu.org> - 2017-01-14 12:00 +0100
  Re: How to seperate grub devices? Darac Marjal <mailinglist@darac.org.uk> - 2017-01-16 12:00 +0100
    Re: How to seperate grub devices? Hans <hans.ullrich@loop.de> - 2017-01-16 12:10 +0100
      Re: How to seperate grub devices? Darac Marjal <mailinglist@darac.org.uk> - 2017-01-16 12:30 +0100
        Re: How to seperate grub devices? Hans <hans.ullrich@loop.de> - 2017-01-16 12:50 +0100
          Re: How to seperate grub devices? <tomas@tuxteam.de> - 2017-01-16 13:00 +0100
          Re: How to seperate grub devices? Mark Fletcher <mark27q1@gmail.com> - 2017-01-16 13:10 +0100
            Re: How to seperate grub devices? "Thomas Schmitt" <scdbackup@gmx.net> - 2017-01-16 13:50 +0100
    Re: How to seperate grub devices? Pascal Hambourg <pascal@plouf.fr.eu.org> - 2017-01-16 21:50 +0100

csiph-web