IRC channel 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 https://www.gnu.org/software/guix/manual/guix.html#Building-from-Git

<jonsger[m]>m_kim: you could also have a look here https://gitlab.com/pjotrp/guix-notes

<dudleyi>hello

<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?

<mb[m]1>Yes.

<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)

<efraim1>really?

<mb[m]1>Yeah it was called "device" until recently.

<efraim1>i switched target to device, it seems to be working

<mb[m]1>\\o/

***fr33domlover1 is now known as fr33domlover

IRC channel logs

2017-10-21.log