Re: grub not properly installing in GuixSD

2017-07-17 Thread Marius Bakke
Joshua Branson writes: > Hello, > > I’m currently trying to dual boot Arch Linux and GuixSD on a desktop machine > that I built. GuixSD seems to be installing well, but grub in not properly > installing. I’m trying to boot using grub-efi. > > > After I run guix system init /mnt/etc/bare-bones

Re: grub not properly installing in GuixSD

2017-07-17 Thread Joshua Branson
I do actually have swap devices in the config file. I just didn’t want to re-write the entire config file. :) That is true. I do have /dev/sda1 tagged as bootable and as esp. parted p shows /dev/sda1 flags: boot, esp file system fat32, Size 537MB And you are seeing that missing pare

grub not properly installing in GuixSD

2017-07-17 Thread Joshua Branson
Hello, I’m currently trying to dual boot Arch Linux and GuixSD on a desktop machine that I built. GuixSD seems to be installing well, but grub in not properly installing. I’m trying to boot using grub-efi. After I run guix system init /mnt/etc/bare-bones.scm /mnt I get this error: grub-

Re: developing software with guix environment

2017-07-17 Thread Adonay Felipe Nogueira
ludo, I'm very new to guix environment, but I'm wondering something: About "preventing environment from being updated by ‘guix pull’ in the meantime", do you mean that: 1. Even if I specify the `--root [Some file path.]` option to `guix environment`. 2. Exit/leave the environmente due to othe

Re: developing software with guix environment

2017-07-17 Thread Ludovic Courtès
Hi nee, nee skribis: > Hello, I've been using guix `environment -l env.scm` to work on > different programming projects on my laptop. > The problem is: When I do guix pull or gc, these environments might get > lost, and when I'm on the train with no network and run `guix > environment` it will t

Re: First installation - Questions

2017-07-17 Thread Ludovic Courtès
Hello, Sohom Bhattacharjee skribis: > On 07/10/2017 03:14 PM, Ludovic Courtès wrote: [...] >>> 2. From reading the docs I figure that we are supposed to write >>> config.scm for everything including web servers. This also means doing a >>> `guix system reconfigure` after every change (even the