Guix and intrusion detection (was Re: Help with writing custom boot-loader configuration)

2019-06-05 Thread Giovanni Biscuolo
Hello Raghav, Raghav Gururajan writes: [...] > It works. Was curious about other alternatives. Btw, is it possible make guix > to > automatically GPG-Sign the "grub.cfg" it generates during "guix system init" > or > "guix system reconfigure" ?? I cannot (still) help patching guix this way,

Re: Help with writing custom boot-loader configuration

2019-06-05 Thread Raghav Gururajan
> Heh. I didn’t see this before. Sorry for sending you code you already > had! That's okay. No worries. > I’m not quite sure what you are asking, since Guix does not use > “grub-mkconfig”. It has its own way of generating a GRUB configuration > file. The “#~(const #t)” trick is the Guix ver

Re: Help with writing custom boot-loader configuration

2019-06-05 Thread Timothy Sample
Hi Raghav, Raghav Gururajan writes: >> >> My first thought after reading your question was >> . > > Yes, I was looking for a method other than using (const ~#t). Heh. I didn’t see this before. Sorry for sending you code yo

Re: Help with writing custom boot-loader configuration

2019-06-04 Thread Raghav Gururajan
> > My first thought after reading your question was > . Yes, I was looking for a method other than using (const ~#t). > However, I guess you need something else, but I'm not sure what it is. Can > you explain more what you'r

Re: Help with writing custom boot-loader configuration

2019-06-04 Thread Raghav Gururajan
> Putting together “exact Guile Scheme Code” is a lot to ask, but I can > give you the following. You will have to adjust it appropriately if, > for example, you are not using EFI. Note also that this is untested, > but it is certainly close. > > What you want to do is create a custom bootloader

Re: Help with writing custom boot-loader configuration

2019-06-03 Thread Jack Hill
On Mon, 3 Jun 2019, Raghav Gururajan wrote: On Thu, 2019-05-30 at 10:11 +, Raghav Gururajan wrote: Hello Guix! If I want to make the "grub-bootloader" to invoke ONLY "grub-mkconfig" and NOT "grub-install", how should I modify the "bootloader" part of "operating-system" section of system

Re: Help with writing custom boot-loader configuration

2019-06-03 Thread Timothy Sample
Hi Raghav, Raghav Gururajan writes: > On Thu, 2019-05-30 at 10:11 +, Raghav Gururajan wrote: >> Hello Guix! >> >> If I want to make the "grub-bootloader" to invoke ONLY >> "grub-mkconfig" and NOT "grub-install", how should I modify the >> "bootloader" part of "operating-system" section of s

Re: Help with writing custom boot-loader configuration

2019-06-03 Thread Raghav Gururajan
On Thu, 2019-05-30 at 10:11 +, Raghav Gururajan wrote: > Hello Guix! > > If I want to make the "grub-bootloader" to invoke ONLY "grub-mkconfig" and > NOT "grub-install", how should I modify the "bootloader" part of > "operating-system" section of system configuration (config.scm)? I am looki

Help with writing custom boot-loader configuration

2019-05-30 Thread Raghav Gururajan
Hello Guix! If I want to make the "grub-bootloader" to invoke ONLY "grub-mkconfig" and NOT "grub-install", how should I modify the "bootloader" part of "operating-system" section of system configuration (config.scm)? I am looking for exact Guile Scheme Code to achieve the same. Thank you! Re