bug#27007: boot-parameters are not documented

2017-05-26 Thread ng0
On Fri, 26 May 2017 10:47:02 +0200, l...@gnu.org (Ludovic Courtès) wrote: > Danny Milosavljevic skribis: > > > On Tue, 23 May 2017 10:13:11 +0200 l...@gnu.org (Ludovic Courtès) > > wrote: > >> Can we assume that all the bootloaders have a notion of “menu” and > >> “menu entries”? > > > > I thi

bug#27007: boot-parameters are not documented

2017-05-26 Thread Ludovic Courtès
Danny Milosavljevic skribis: > On Tue, 23 May 2017 10:13:11 +0200 l...@gnu.org (Ludovic Courtès) > wrote: >> Can we assume that all the bootloaders have a notion of “menu” and >> “menu entries”? > > I think so. > > But there are bootloaders that [also can] do the traditional thing: > When you sel

bug#27007: boot-parameters are not documented

2017-05-24 Thread Danny Milosavljevic
On Tue, 23 May 2017 10:13:11 +0200 l...@gnu.org (Ludovic Courtès) wrote: > Can we assume that all the bootloaders have a notion of “menu” and “menu > entries”? I think so. But there are bootloaders that [also can] do the traditional thing: When you select an entry, it can chainload the bootsect

bug#27007: boot-parameters are not documented

2017-05-23 Thread Ludovic Courtès
Mathieu Othacehe skribis: >> and those entries would be “lowered” to somewhere. >> That way we’d provide the abstraction level that users may expect (“how >> do I add a menu entry for my other distro?”) and at the same time reduce >> the risk of mistakes (“I didn’t what to put in ‘store-device’

bug#27007: boot-parameters are not documented

2017-05-23 Thread Ludovic Courtès
Hi, Mathieu Othacehe skribis: > We can ask him but I guess something like that : > > (boot-parameters > (label "openSUSE") > (root-device #f) > (boot-name 'grub) > (store-device #f) > (store-mount-point "/") > (kernel "(hd0,msdos1)/vmlinuz") > (kernel-arguments (list "root=/dev/pe

bug#27007: boot-parameters are not documented

2017-05-23 Thread Mathieu Othacehe
> and those entries would be “lowered” to somewhere. > That way we’d provide the abstraction level that users may expect (“how > do I add a menu entry for my other distro?”) and at the same time reduce > the risk of mistakes (“I didn’t what to put in ‘store-device’ I put my > pet’s name there”).

bug#27007: boot-parameters are not documented

2017-05-23 Thread Tomáš Čech
On Tue, May 23, 2017 at 11:31:12AM +0200, Mathieu Othacehe wrote: Hello, So how does the ‘menu-entry’ example that Tomáš gave translate with this new API? (Apologies for asking, I admit I haven’t fully adjusted to the new API mentally. :-)) Well it's still moving :) We can ask him but I g

bug#27007: boot-parameters are not documented

2017-05-23 Thread Mathieu Othacehe
Hello, > So how does the ‘menu-entry’ example that Tomáš gave translate with this > new API? (Apologies for asking, I admit I haven’t fully adjusted to the > new API mentally. :-)) Well it's still moving :) We can ask him but I guess something like that : --8<---cut here-

bug#27007: boot-parameters are not documented

2017-05-23 Thread Ludovic Courtès
Heya! Mathieu Othacehe skribis: > Since the rework, are in (gnu bootloader grub). They can no > longer be used in menu-entries field of . > > The is used instead. and > are very similar though. So how does the ‘menu-entry’ example that Tomáš gave translate with this new API? (Apologies for

bug#27007: boot-parameters are not documented

2017-05-22 Thread Mathieu Othacehe
Hi Ludo, Since the rework, are in (gnu bootloader grub). They can no longer be used in menu-entries field of . The is used instead. and are very similar though. What we can do here is : * Give default values as per (as proposed by Danny in doc patch review). * Rename "menu-entries" field

bug#27007: boot-parameters are not documented

2017-05-22 Thread Ludovic Courtès
Hi! Tomáš Čech skribis: > Defining other operating system entry: > > (menu-entry > (label "openSUSE") > (linux "(hd0,msdos1)/vmlinuz") > (linux-arguments (list "root=/dev/penguin/opensuse" > "init=/usr/lib/systemd/systemd")) > (initrd "(hd0,msdos1)/initrd")) I think is the right abs

bug#27007: boot-parameters are not documented

2017-05-20 Thread Tomáš Čech
On Sat, May 20, 2017 at 10:31:59PM +0200, Mathieu Othacehe wrote: Hi Tomáš, My question without answer is - how can I specify bootloader menu entries now? You're right, you have to pass a now. The documentation patch is still in review, you can find it here : https://debbugs.gnu.org/cgi/bu

bug#27007: boot-parameters are not documented

2017-05-20 Thread Leo Famulari
On Sat, May 20, 2017 at 10:31:59PM +0200, Mathieu Othacehe wrote: > > Hi Tomáš, > > > My question without answer is - how can I specify bootloader menu entries > > now? > > You're right, you have to pass a now. The > documentation patch is still in review, you can find it here : > > https://d

bug#27007: boot-parameters are not documented

2017-05-20 Thread Tomáš Čech
On Sat, May 20, 2017 at 10:52:34PM +0200, Danny Milosavljevic wrote: Hi, there's a doc patch in review by Mathieu (16 May 2017 15:03 +0200, "doc: Adapt to multiple bootloader support", bug# 26339) in guix-patches. As I have seen this feature on ML some time ago already, I didn't expect to be

bug#27007: boot-parameters are not documented

2017-05-20 Thread Danny Milosavljevic
Hi, there's a doc patch in review by Mathieu (16 May 2017 15:03 +0200, "doc: Adapt to multiple bootloader support", bug# 26339) in guix-patches. Although I wonder what menu-entries can be used for. What are you using it for?

bug#27007: boot-parameters are not documented

2017-05-20 Thread Mathieu Othacehe
Hi Tomáš, > My question without answer is - how can I specify bootloader menu entries now? You're right, you have to pass a now. The documentation patch is still in review, you can find it here : https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26339#489 The example has been updated : --8<-

bug#27007: boot-parameters are not documented

2017-05-20 Thread Tomáš Čech
I'm running from GIT with HEAD on 12eecbf0bb798f99454a46c191bb0ec6bdef1aa5. It seems that menu-entry is still described in documentation doc/guix.texi:15337 but code seems to abandon the use already in favor of boot-parameters at least to my level of understanding. My question without answer i