bug#29312: GRUB with multiple partitions with identical bzImage

2017-11-16 Thread Ludovic Courtès
Vagrant Cascadian skribis: > On 2017-11-16, Ludovic Courtès wrote: >> Vagrant Cascadian skribis: >> Indeed. You can force GuixSD to use a file system label or a UUID by >> declaring your file system with a label/UUID. So you would write: >> >>

bug#29312: GRUB with multiple partitions with identical bzImage

2017-11-16 Thread Vagrant Cascadian
On 2017-11-16, Ludovic Courtès wrote: > Vagrant Cascadian skribis: > Indeed. You can force GuixSD to use a file system label or a UUID by > declaring your file system with a label/UUID. So you would write: > > (file-system > ;; … > (mount-point "/") > (title

bug#29312: GRUB with multiple partitions with identical bzImage

2017-11-16 Thread Ludovic Courtès
Hey Vagrant, Vagrant Cascadian skribis: > menuentry "GNU with Linux-Libre 4.13.12 (beta)" { > search --file --set > /gnu/store/q9q8y9rh3jw1qcx6bic1v18qag80z74a-linux-libre-4.13.12/bzImage > linux >

bug#29312: GRUB with multiple partitions with identical bzImage

2017-11-15 Thread Vagrant Cascadian
I've been exploring GuixSD for the past few days. Very cool! Even if a little rough around the edges... Ran into an ugly problem with GRUB being unable to load the initrd, due to having multiple GuixSD installs on the same machine, with identical paths for the bzImage files, but not identical