Re: grub not properly installing in GuixSD

2017-07-25 Thread Marius Bakke
Joshua Branson writes: > Yup. That's correct. I am asking about how to modify > > > set root=(hd0,msdos1)(I think this is the vfat system) > > chainloader (${root})/efi/boot/name-of-efi-file.efi > > boot > > > to something like > > > set root=(hd0,msdos1)(I think

Re: guix package -u --fallback does nothing

2017-07-25 Thread ng0
Ludovic Courtès transcribed 0.6K bytes: > Hartmut Goebel skribis: > > > Am 25.07.2017 um 11:35 schrieb Hartmut Goebel: > >> "guix package -u --fallback" when run another time does *nothing*. "guix … > This is a common mistake though, so we could change ‘guix

Re: guix package -u --fallback does nothing

2017-07-25 Thread Ludovic Courtès
Hartmut Goebel skribis: > Am 25.07.2017 um 11:35 schrieb Hartmut Goebel: >> "guix package -u --fallback" when run another time does *nothing*. "guix >> package -l" still show the old generation. > > "guix package --fallback -u" did the trick. > > Weird. I'll open a

Re: guix package -u --fallback does nothing

2017-07-25 Thread Hartmut Goebel
Am 25.07.2017 um 11:35 schrieb Hartmut Goebel: > "guix package -u --fallback" when run another time does *nothing*. "guix > package -l" still show the old generation. "guix package --fallback -u" did the trick. Weird. I'll open a bug-report -- Regards Hartmut Goebel | Hartmut Goebel

guix package -u --fallback does nothing

2017-07-25 Thread Hartmut Goebel
Hi, I'm try upgrading from guix-0.12.0-10.ba2260d but the profile is not upated. I used "guix pull" to get the latest version. "guix package -u" is loading substitutes, fails with this and recommends using --fallback. "guix package -u --fallback" when run the first time did compile some

Re: various packaging issues

2017-07-25 Thread Ludovic Courtès
Dave Love skribis: > l...@gnu.org (Ludovic Courtès) writes: > >> Honestly it’s unclear to me that this would bring much to >> >> and related sections. > > I'm seeing it from the point of view of view of