***erdic_ is now known as erdic
***kmic is now known as kmicu
***tschwing_ is now known as tschwinge
<karhunguixi>Hi. I've installed GuixSD on a new computer, with encrypted root, from the USB image. It failed to boot and i thought i should do a "guix pull" on the installation (booting from USB). <karhunguixi>Because i'm having problems using that. "chroot /mnt" gives me the prompt "I have no name!@gnu /#" and commands like guix and ls are not found <karhunguixi>(oh, and "chroot --userspec=root:root /mnt" gives same result) ***mood_ is now known as mood
<karhunguixi>nevermind, i found i would need to update a lot if symlinks. I'm reinstalling with extra-modules %linux-modules in the config instead. <karhunguixi>hm, when i reinstalled i forgot to start cow-store (deco start cow-store /mnt), but it was a success anyway. <civodul>iyzsong: what's the status of dbus-update (GDK, etc.)? :-) <mark_weaver>but there's still a lot left to build there. even on x86_64-linux, there are over 360 queued builds <mark_weaver>and I've been actively pruning obsolete builds on that jobset <civodul>ACTION has a 'guix challenge' prototype to compare the hash of an item with that found on substitute servers <mark_weaver>btw, it must be done in such a way that it's impossible for the server to know the difference between 'guix challenge' and normal downloading of a substitute. <mark_weaver>otherwise, if hydra is compromised, it could be made to serve bad binaries only for normal substituting, but serve good ones for 'guix challenge'. <efraim>i've noticed for building programs that the default is to download the source tarball from hydra and not from upstream <mark_weaver>efraim: the source code is itself a build product that can be substituted, like anything else. <efraim>is that putting that makes sense <efraim>wait, I had way too many words that weren't part of that sentence <lfam>Does anyone know a way to browse the file tree of Debian packages from the web? I want to link to a file in one of them in a commit message for Guix. <lfam>Or, can you suggest another way to refer to the file? It's a Debian "rules" file for installing a package.