Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-28 Thread Ludovic Courtès
Hello! Giovanni Biscuolo skribis: > But wait! There's the /dev/disk/by-id/ tree, I did not notice it until > now! :-) > > That's the solution: > > > (bootloader > (bootloader-configuration > (bootloader grub-bootloader) > (target

Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-26 Thread Tobias Geerinckx-Rice
[Part two, having made my train connection with 8 seconds to spare.] Giovanni Biscuolo wrote: But wait! There's the /dev/disk/by-id/ tree, I did not notice it until now! :-) Yes! That's what I meant! Thank you. I'll be sure to use the udev terminology for this in future, it's confusing

Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-26 Thread Tobias Geerinckx-Rice
Giovanni, Giovanni Biscuolo wrote: /dev/xdyN names have never been safe to use in this way I'm not talking about partitions ;-) Neither was I. Force o' habit. May your partitions never be in random order. According my faulty memory (I cannot reproduce it now) /dev/sd is what the

Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-25 Thread Tobias Geerinckx-Rice
Giovanni Biscuolo wrote: This is **very** important when installing grub, in fact grub installation failed when instantiating my config.scm on the HP ProLiant simply because it was on /dev/sda pointing to the USB media; /dev/xdyN names have never been safe to use in this way, though. I

Installer: GUIX_IMAGE as /dev/sda on some hardware?

2019-05-25 Thread Giovanni Biscuolo
Hello Guix! I cannot reproduce this anymore since the machine I used is no more under my physical control and is in production... anyway I'm sure on a HP ProLiant DL380p Gen8 the installer image (1.0.0 version) [1] listed the USB media as /dev/sda while I've always observed (and reproducing now