IRC channel logs


back to list of logs

<ng0>hey, what's the current status on system generation activation without reboots? did we have anything on that already, or is it on some kind of roadmap?
<atw>is Agda packaged?
<ng0>not activation, switch I meant
<atw>It does not appear to be packaged yet. I might do it later...
<jmi2k>When writing a system config, is there a better way of getting the parent block device of a partition than rolling your own solution?
<jmi2k>I've implemented my own but I'd prefer to use a builtin if there's any...
***fr33domlover1 is now known as fr33domlover
<m_kim>Hi, what is correct way to set Guix development environment under GuixSD? I want to be able to hack tools like "guix environment" and work on packages.
<noordinaryspider>not sure i understand you
<noordinaryspider>i always thought you pronounced it guh-i-ex but it turns out you pronounce it geeks
<jonsger[m]>m_kim: If you want to hack on packages you need to build guix from source
<jonsger[m]>m_kim: you could also have a look here
<m_kim>jonsger[m]: Thank you! I'll try
***Guest74 is now known as dudleyi
<jonsger[m]>m_kim: did it worked?
<noordinaryspider>Apologies for my curious nine year old yesterday.
<noordinaryspider>We are both new and I (adult) am having some difficulties
<noordinaryspider>I believe Guile-git is here, but have not yet figured out how to
<noordinaryspider>export GUILE_LOAD_PATH=$HOME/.guix-profile/share/guile/site/2.2:$GUILE_LOAD_PATH
<noordinaryspider>It is on top of Trisquel Belenos (Ubuntu 14.04 fork)
<efraim1>does the 0.13.0 image support efi boot?
<efraim1>so i'm guessing (bootloader (grub-configuration (grub grub-efi) (target "/boot/efi")))
<mb[m]1>Seems correct.
<efraim1>maybe instead of (target ...) (device "/dev/sdXY") where /dev/sdXY is /boot/efi
<mb[m]1>target/device is actually ignored by GRUB.
<efraim1>extraneous field initalizers (target)
<mb[m]1>Yeah it was called "device" until recently.
<efraim1>i switched target to device, it seems to be working
***fr33domlover1 is now known as fr33domlover
***fr33domlover1 is now known as fr33domlover