<civodul>i think it covers some of what Dave Love was suggesting, WDYT?
<vagrantc>hmmm... so i'm booting the 0.13 guixsd installer usb image ... and figured it would be nice to do an install via ssh ... but ssh-keygen (presumably from openssh) isn't installed ... so i have no way of verifying the host keys
<vagrantc>rekado: i ran "herd start ssh-daemon" and that presumably is using the keys in /etc/ssh/ssh_host* ... how do i verify when i connect to that ssh server is using the correct host keys? i would usually do ssh-keygen -l -f /etc/ssh/host_*.pub or something like that
<vagrantc>and then compare the results from the machine ssh'ing from
<vagrantc>as opposed to blindly typing "yes" when i connect to the machine for the first time
<vagrantc>also, is it generally feasible to install to the same media you've booted the installer from?
<efraim>i wonder if we can parallelize the 'strip phase
<rekado>vagrantc: I have never tried to install GuixSD onto the installer media.
<rekado>vagrantc: do you have direct access to the host that was booted with the GuixSD installer?
<vagrantc>in theory, there's no real reason it shouldn't work ...
<civodul>you could do a magic trick like we do for 'glibc', but that's not recommended
<efraim>It'd probably be better to have a special default grub package per architecture then
<vagrantc>hrm. i've got an instantiated system on an encrypted device, but can't get the syntax for mapped devices correct... and don't have a /boot that grub is likely to be able to read... but other than that, this is going well :)
<vagrantc>can i re-instantiate it on another device without re-downloading and recompiling everything?
<vagrantc>whenever i try to add the mapped device, i get this when running guix system init /mnt/etc/config.scm /mnt: /mnt/etc/config.scm:25:2: error: invalid field specifier
<lfam>happy_gnu[m]: You can use either one, it's up to you. If you use the Git repository, you have to check out the commit you want to build from and then use `guix hash --recursive --exclude-vcs foo`
<mekeor>it has been some time since i installed my GuixSD with full-disk encryption. i don't seem to have a boot partition. so how is grub encrypted and started then? – i guess grub is ony my encrypted root-partition.
<mekeor>s/how is grub encrypted/how is grub decrypted/
<rekado>mekeor: on my machine this happens through libreboot
<mekeor>how does it work on my computer? i don't understand my computer :O