<RISCi_ATOM>I think that everyone should be able to control the device that they are using (with permission from the owner)
<RISCi_ATOM>But chrome[ium] os spies on users in various ways.
<tadni`>RISCi_ATOM: Yeah, I'm saying that the school doesn't provide a means to use said device in an alternative way is a jerk-move. That being said, I'm sure that was a reason they picked such devices.
<mark_weaver>svetlana: yeah, even if you let guix install grub on /dev/sda, you'll still be able to get to your existing OS's grub menu using the configfile command. you type 'c' at the grub menu, then type "configfile (" and then tab will do tab completion on the set of available disk devices. on my system the disk devices are (ahci0,X) where X is the partition number, but on your system that ahci might be something else, dunno.
<mark_weaver>anyway, the tab completion really helps here. you can discover the set of disk partitions, and once you've found the partition, you can complete on the filenames in the filesystem.
<akamch>mark_weaver: well, you've given me enough leads to experiment for now, thanks! :) one little question, I guess I messed things up after rebooting with Ctrl-Alt-Del; should I use "deco <something>" to reboot and shut down?
<akamch>Doesn't guix process three key combo correctly?
<mark_weaver>I'm not sure it does, but in my experience Guix is very robust against crashes.
<akamch>mark_weaver: alas, it's nigh impossible to fix grub at the time being. This HDD was transplanted from an older ThinkPad R60 and this whole thing worked somehow for several days. Now I get typical EFI-related errors from grub-install ("source_dir doesn't exist." etc)
<akamch>mark_weaver: if you will need a tester for UEFI images, just say the word!
<janneke>is there an easy way to build only a minimal gcc-c cross compiler?
*janneke is getting cheesy watching endless gcc untar xzvf and build output
<janneke>or even a way to short-circuit, re-take a stage?