<keverets>being that there's no "/usr" equivalent to guix, would it make sense for the guix package of emacs to include the current guix-profile/share/emacs/site-lisp by default? Or would that be harmful in other ways?
<civodul>oh but the difference is the autoloads i guess
<civodul>for instance, the autoloads for rec-mode (part of recutils) are not loaded
<keverets>civodul: I'm using /gnu/store/jl57vx1g559z36lgqby822hphfd6rnbx-emacs-24.5 and the earlier mentioned /gnu/store/fszs8vl5sl5hpfs88469ah5b72xcvskx-notmuch-0.20.2 which required the extra .emacs load-path munging
<keverets>oh, is it a matter of adding the guix.el instead of changing load-path?
<civodul>keverets: yes, if you follow the "Emacs Initial Setup" thing above, you'll get that plus the other nifty features
<keverets>I initially used a binary installation, then subsequently "guix package -i guix"
<guaraqe>during installation my hard drive is identified as /dev/sdb, and a such I have to put it on the config file. After reboot, it complains that it cannot find "/dev/sdb1" that is my main partition (because its sda probably) and when I put the partition label "main", it complains it cannot find it, am I doing something wrong?
<alezost>civodul: indeed, load-path is augmented only for the packages with …-autoloads.el
<toothbrush0>bavier: okay, i've managed to split the patches into one package per patch. i've also added comments wherever tests are disabled, and made sure that they're disabled for a reason (dlist was the only new package where they worked, in the end).
<toothbrush0>apparently James Trotter has also got Agda working, so that's really cool :) For me proof-general would be next, but that might be a lot of work too...
<civodul>toothbrush0: proof-general is already here :-)