Re: Non-graphical GRUB configuration

2017-04-17 Thread Leo Famulari
On Mon, Apr 17, 2017 at 09:44:06AM -0400, myglc2 wrote: > Hey Leo, As reported earlier, this works for me. IMO it is good to > go. If there is anything I can do to help, please let me know. I'm glad to hear it! Because this change would make it possible to break your GuixSD system in new ways, I

Re: Non-graphical GRUB configuration

2017-04-17 Thread myglc2
On 04/05/2017 at 07:59 Leo Famulari writes: > On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote: >> Based on the GRUB manual [0], how about this plan? >> >> We'd add these fields to (grub-configuration): >> >> terminal-outputs: One or more symbols: console, serial, gfxterm, >> ofcons

Re: Non-graphical GRUB configuration

2017-04-06 Thread myglc2
On 04/06/2017 at 11:18 Leo Famulari writes: > On Wed, Apr 05, 2017 at 04:43:32PM -0400, myglc2 wrote: >> > ... you won't get '--unit=0' unless you specify (serial-unit 0) in your >> > GuixSD configuration. However, GRUB defaults to '0', according to its >> > manual. >> >> Yes I noticed. I was ope

Re: Non-graphical GRUB configuration

2017-04-06 Thread Leo Famulari
On Wed, Apr 05, 2017 at 04:43:32PM -0400, myglc2 wrote: > > ... you won't get '--unit=0' unless you specify (serial-unit 0) in your > > GuixSD configuration. However, GRUB defaults to '0', according to its > > manual. > > Yes I noticed. I was operating on the hope that less would be more ;-) I de

Re: Non-graphical GRUB configuration

2017-04-05 Thread myglc2
On 04/05/2017 at 12:07 Leo Famulari writes: > On Wed, Apr 05, 2017 at 11:14:06AM -0400, myglc2 wrote: >> I interpreted your doc to say I should use something like this ... >> >> (bootloader (grub-configuration (device "/dev/nvme0n1") >>(serial-speed 115200) >>

Re: Non-graphical GRUB configuration

2017-04-05 Thread Leo Famulari
On Wed, Apr 05, 2017 at 11:14:06AM -0400, myglc2 wrote: > I interpreted your doc to say I should use something like this ... > > (bootloader (grub-configuration (device "/dev/nvme0n1") > (serial-speed 115200) > (terminal-inputs '(se

Re: Non-graphical GRUB configuration

2017-04-05 Thread myglc2
On 04/05/2017 at 11:59 Leo Famulari writes: > Questions: > > 1) In general, is this approach okay? Hi Leo, This LGTM, but I was unable to test it because my 'system build' hangs as reported in bug#26370. Running your commit produced a similar hang but I think it is not caused by your changes so

Re: Non-graphical GRUB configuration

2017-04-05 Thread Leo Famulari
On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote: > Based on the GRUB manual [0], how about this plan? > > We'd add these fields to (grub-configuration): > > terminal-outputs: One or more symbols: console, serial, gfxterm, > ofconsole, vga_text. Default gfxterm. > > terminal-inputs:

Re: Non-graphical GRUB configuration

2017-04-03 Thread Ludovic Courtès
myglc2 skribis: > On 04/02/2017 at 22:13 Leo Famulari writes: > >> On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote: >>> Based on the GRUB manual [0], how about this plan? >>> >>> We'd add these fields to (grub-configuration): >> >> [...] >> >> NixOS has the user provide a string: >>

Re: Non-graphical GRUB configuration

2017-04-02 Thread myglc2
On 04/02/2017 at 22:13 Leo Famulari writes: > On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote: >> Based on the GRUB manual [0], how about this plan? >> >> We'd add these fields to (grub-configuration): > > [...] > > NixOS has the user provide a string: > > https://nixos.org/nixos/man

Re: Non-graphical GRUB configuration

2017-04-02 Thread myglc2
On 04/02/2017 at 21:06 Leo Famulari writes: > On Sun, Apr 02, 2017 at 12:31:19PM -0400, myglc2 wrote: >> I gather you are focused on KVM deployment, so this may be off- >> topic. But FWIW, the patch that I use to run GRUB menus both locally on >> the console and over IPMI SOL (serial over LAN) on

Re: Non-graphical GRUB configuration

2017-04-02 Thread Leo Famulari
On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote: > Based on the GRUB manual [0], how about this plan? > > We'd add these fields to (grub-configuration): [...] NixOS has the user provide a string: https://nixos.org/nixos/manual/options.html#opt-boot.loader.grub.extraConfig It is m

Non-graphical GRUB configuration

2017-04-02 Thread Leo Famulari
On Sun, Apr 02, 2017 at 12:31:19PM -0400, myglc2 wrote: > I gather you are focused on KVM deployment, so this may be off- > topic. But FWIW, the patch that I use to run GRUB menus both locally on > the console and over IPMI SOL (serial over LAN) on an headless ASRock > server (MT-c224 w/ ASPEED 230