***civodul changes topic to 'GNU Guix | http://gnu.org/s/guix/ | Ideas for FOSDEM? https://libreplanet.org/wiki/Group:Guix/TalkProposals | This channel is logged, see <https://gnunet.org/bot/log/guix>.'
<jchmrt>Hey, I'm having some issues installing guixSD on my thinkpad X200 running libreboot. After I've run "ifconfig enp0s25 up && dhclient enp0s25" to initialize the ethernet, I get "Network is unreachable" everytime I try to ping something. Does anyone have some idea of what I've done wrong, or any tips on how to further diagnose the problem?
<jchmrt>Also: if I go ahead anyway and run guix system init /mnt/etc/config.scm /mnt, it fails because it can't download the dependecies
<amz3>jchmrt: if nobody answer try to look the mailling list and the irc log, if did not already do so. A few people use x200 with guix
<jchmrt>Yeah, I haven't found anything on the mailing list yet, but I will keep looking
<amz3>does the interface appear after ifconfig ... up ?
<jchmrt>What do you mean exactly? after running ifconfig enp0s25 up, it shows enp0s25 as up in ifconfig -a
<alezost>I think none is deprecated, but I prefer to use a prefix for license. The reason is: several modules may export symbols with the same name, so you need to distinguish them somehow. For this purpose, you use a prefix for symbols from some module. There are symbols from (guix licenses) that often conflicts with other modules (I don't remember what exactly)
<amz3>there test suite takes around 500 second to complete with in memory sqlite. Since python has no threads, they investigate how to use multiprocessing module. IIUC this can be done with guix containers
<amz3>and it's in memory sqlite, which means that for real dbs they need even more code
<amz3>this is discussed on django developper mailling list