Re: Guix/GNU/Linux multi distro + GuixSD multi-site scenario

2016-03-29 Thread Ludovic Courtès
Alex Kost skribis: > Christopher Allan Webber (2016-03-28 19:39 +0300) wrote: > >> Alex Kost writes: > [...] >>> Hi, I also use double boot (GuixSD and ArchLinux). I do it like this: >>> at first I never let GuixSD to reinstall grub by using --no-grub option >>> ("guix system

Re: Guix/GNU/Linux multi distro + GuixSD multi-site scenario

2016-03-28 Thread Alex Kost
Chris Marusich (2016-03-28 17:32 +0300) wrote: > Alex Kost writes: > >> Hi, I also use double boot (GuixSD and ArchLinux). I do it like this: >> at first I never let GuixSD to reinstall grub by using --no-grub option >> ("guix system reconfigure --no-grub ..."). Instead I

Re: Guix/GNU/Linux multi distro + GuixSD multi-site scenario

2016-03-28 Thread Alex Kost
Christopher Allan Webber (2016-03-28 19:39 +0300) wrote: > Alex Kost writes: [...] >> Hi, I also use double boot (GuixSD and ArchLinux). I do it like this: >> at first I never let GuixSD to reinstall grub by using --no-grub option >> ("guix system reconfigure --no-grub ..."). Instead I

Re: Guix/GNU/Linux multi distro + GuixSD multi-site scenario

2016-03-28 Thread myglc2
Alex Kost writes: [...] > > Hi, I also use double boot (GuixSD and ArchLinux). I do it like this: > at first I never let GuixSD to reinstall grub by using --no-grub option > ("guix system reconfigure --no-grub ..."). Instead I installed grub > manually (into a separate "boot"

Re: Guix/GNU/Linux multi distro + GuixSD multi-site scenario

2016-03-28 Thread Chris Marusich
Alex Kost writes: > Hi, I also use double boot (GuixSD and ArchLinux). I do it like this: > at first I never let GuixSD to reinstall grub by using --no-grub option > ("guix system reconfigure --no-grub ..."). Instead I installed grub > manually (into a separate "boot"

Re: Guix/GNU/Linux multi distro + GuixSD multi-site scenario

2016-03-27 Thread myglc2
Christopher Allan Webber writes: > myglc2 writes: > >> Christopher Allan Webber writes: >> [...] >>> >>> Running all machines, I dunno. I do dual-boot Debian and GuixSD with >>> them sharing the same user profile and store. >> >> Dual boot. Now