You are here

IRC logs for #guix, 2016-08-28 (GMT)

[00:33:02]* ng0 has quit (Remote host closed the connection)
[00:34:31]* lostcoffee has joined #guix
[00:38:38]<lostcoffee>hey guys! I'm trying to dual-boot and so I installed with guix system init --no-grub, hoping that debian's automatic grub configuration would detect guix and add a grub menu entry. However, that's not happening. Should I just make an entry manually?
[00:39:11]<lostcoffee>(also I noticed that the installation didn't make a /boot directory. Is that a problem?)
[00:44:32]* daviid has quit (Ping timeout: 240 seconds)
[00:50:39]* zacts has joined #guix
[01:04:32]* Knightmare has quit (Ping timeout: 265 seconds)
[01:06:46]* Knightmare has joined #guix
[01:12:12]* codemac has quit (Read error: Connection reset by peer)
[01:32:00]* vicenteH has quit (Ping timeout: 265 seconds)
[01:32:45]* zacts has quit (Quit: WeeChat 1.4)
[02:23:04]* arescorpio has joined #guix
[02:30:14]* ArneBab has joined #guix
[02:34:40]* ArneBab_ has quit (Ping timeout: 264 seconds)
[02:53:06]* catonano has joined #guix
[02:59:33]* Gamayun has quit (Ping timeout: 276 seconds)
[02:59:47]* Gamayun_ has joined #guix
[02:59:52]* dvc has joined #guix
[03:20:28]* evhan` has joined #guix
[03:21:59]* cantstanya has quit (Ping timeout: 250 seconds)
[03:22:18]* OrangeShark_ has joined #guix
[03:23:17]* katco has quit (Ping timeout: 250 seconds)
[03:23:31]* WojciechK has joined #guix
[03:23:54]* katco has joined #guix
[03:24:17]* fkz has joined #guix
[03:24:40]* fkz is now known as Guest83615
[03:25:14]* grinhaus has joined #guix
[03:25:45]* cehteh has quit (Ping timeout: 276 seconds)
[03:25:57]* evhan has quit (Ping timeout: 258 seconds)
[03:25:57]* LnL has quit (Ping timeout: 258 seconds)
[03:25:58]* jeffers-media has quit (Ping timeout: 258 seconds)
[03:25:58]* MatthewAllan93 has quit (Ping timeout: 258 seconds)
[03:25:58]* Ulrar has quit (Ping timeout: 258 seconds)
[03:25:58]* lewo has quit (Ping timeout: 258 seconds)
[03:25:59]* nckx has quit (Ping timeout: 258 seconds)
[03:25:59]* OrangeShark has quit (Ping timeout: 258 seconds)
[03:25:59]* Guest16724 has quit (Ping timeout: 258 seconds)
[03:25:59]* zw01 has quit (Ping timeout: 258 seconds)
[03:25:59]* Wojciech_K has quit (Ping timeout: 258 seconds)
[03:25:59]* detrout_ has quit (Ping timeout: 258 seconds)
[03:25:59]* Knightmare has quit (Ping timeout: 258 seconds)
[03:26:00]* CompanionCube has quit (Ping timeout: 258 seconds)
[03:26:01]* wgreenhouse has quit (Ping timeout: 258 seconds)
[03:26:15]* CompanionCube has joined #guix
[03:26:18]* jeffers-media has joined #guix
[03:26:40]* Ulrar has joined #guix
[03:26:48]* Knightmare has joined #guix
[03:27:07]* detrout has joined #guix
[03:27:25]* LnL has joined #guix
[03:27:25]* zw01 has joined #guix
[03:27:28]* lewo has joined #guix
[03:27:31]* cantstanya has joined #guix
[03:27:54]* MatthewAllan93 has joined #guix
[03:27:55]* OrangeShark_ is now known as OrangeShark
[03:28:18]* nckx has joined #guix
[03:30:54]* dvc` has joined #guix
[03:31:10]* dvc` has left #guix ("ERC (IRC client for Emacs 24.5.1)")
[03:34:05]* dvc has quit (Quit: Page closed)
[03:45:11]* detrout is now known as detrout_
[03:50:00]* pecg has joined #guix
[03:50:00]* pecg has quit (Changing host)
[03:50:00]* pecg has joined #guix
[03:54:49]* jamesrichardson has joined #guix
[03:55:22]* cehteh has joined #guix
[04:02:44]* jamesrichardson has quit (Quit: leaving)
[04:28:38]* jamesrichardson has joined #guix
[04:29:03]* Knightmare has quit (Ping timeout: 244 seconds)
[04:42:14]* pagurus has joined #guix
[04:44:51]* pagurus` has quit (Ping timeout: 276 seconds)
[04:45:57]* lumidify has joined #guix
[04:47:36]* arescorpio has quit (Quit: Leaving.)
[04:59:14]<lostcoffee>after looking around in system.scm, I think that /boot is not created and populated when --no-grub is specified (reference: ), which would explain why os-prober didn't find anything
[05:05:22]<jamesrichardson>I just install guixsd on a box. Wondering if there is NFS or OpenAFS support.
[05:07:26]<jamesrichardson>Otherwise looks very interesting.
[05:11:09]* lostcoffee has quit (Ping timeout: 260 seconds)
[05:16:23]<jamesrichardson>guess I need to learn scheme.
[05:19:47]* jmd has joined #guix
[05:26:29]* lumidify has quit (Quit: Leaving)
[05:31:40]<jamesrichardson>Is there a how to anywhere that describes to dual boot guixsd with another distro (preferably Debian)?
[05:32:14]<jamesrichardson>I would like to be able to share /home and /gnu/store.
[05:37:17]* libregeekingkid has joined #guix
[05:37:39]<jmd>jamesrichardson: I think sharing /gnu/store is not possible
[05:38:40]<jmd>Sharing /home might also be problematic if the two guixes have different localstatedir
[05:40:05]<jamesrichardson>hmm, might just have to keep things completely seperate until I lean more about guix.
[05:41:38]<jamesrichardson>OpenAFS seems not to be packaged yet (I couldn't find anything). Don't see nfs either.
[05:41:56]<jmd>Strangely enough, I'm working on NFS right now.
[05:43:26]<jamesrichardson>I would offer to help (still can I guess). Just learning about guix. I need to learn scheme.
[06:00:27]* jmd` has joined #guix
[06:01:35]* jmd` has quit (Remote host closed the connection)
[06:16:32]* harlequn78 has joined #guix
[06:17:38]* harlequn78 has quit (Remote host closed the connection)
[06:19:00]<brendyn>I would like to package my first program, praat, but there is an issue. praat's source is simply in a github and there doesn't seem to be a tarball, only binaries, so it seems I need to build from the repo
[06:23:18]<lime_>Installing GUIXSd as a host OS on bare metal
[06:23:33]<lime_>Is that sensible?
[06:24:05]<brendyn>Except I tried it and I couldn't get it to work just yet
[06:24:12]<lime_>Functional for daily use?
[06:24:25]<brendyn>Seems it requires the hard drive to be formatted in a particular way
[06:24:47]<lime_>I can do that
[06:24:52]<brendyn>lime_: I think is not that ready no. It is only ready if you wish to dive in and test it and be willing to have things break
[06:25:25]<brendyn>For example, I believe we don't even have an openssh daemon configuration yet
[06:25:52]<brendyn>Personally I would do it, yes
[06:25:58]<lime_>Oh I'm more than willing to submit bugreports
[06:26:09]<lime_>Even write patches
[06:26:24]<brendyn>Sweet, then get started. I'm still a noob myself
[06:26:55]<lime_>Then we can noob together
[06:27:14]<brendyn>lime_: qemu-system-x86_64 -m 512M -usb -enable-kvm -net nic,vlan=1 -net user,vlan=1 guixsd-usb-install-0.11.0.x86_64-linux
[06:27:43]<lime_>On bare metal
[06:28:24]<lime_>I have a laptop I use to test OSs on
[06:29:00]<brendyn>Then do it!!!
[06:29:04]<brendyn>Go go go!
[06:29:28]<lime_>Well, I'm still 150 miles from home
[06:29:29]<brendyn>use dd to write it to a USB drive
[06:29:52]<lime_>I've done 300 so far today
[06:30:27]<brendyn>Where on Earth are you?
[06:30:34]<lime_>Shetland -> Dundee
[06:30:46]<brendyn>No idea where that is
[06:31:21]<lime_>I was on the northern Isles
[06:31:59]<lime_>15 hour ferry
[06:33:14]<lime_>And I live north east of the lowlands
[06:34:02]<brendyn>Hmm, seems the qemu command still doesn't get me proper network access
[06:34:35]<lime_>-net e100e
[06:35:06]<brendyn>as an additional option?
[06:35:22]<lime_>You need to set a driver to emulate
[06:35:43]<brendyn>invalid parameter
[06:37:04]<lime_>-device TYPE,netdev=NAME
[06:38:48]<lime_>So -device e1000e,netdev=failcake0
[06:39:09]<lime_>Should work
[06:39:32]<brendyn>qemu-system-x86_64: -device e1000e,netdev=failcake0: 'e1000e' is not a valid device model name
[06:40:05]<brendyn>qemu-system-x86_64: -device e1000,netdev=failcake0: Property 'e1000.netdev' can't find value 'failcake0'
[06:40:58]<brendyn>Does failcake need to be my parent os's device?
[06:42:00]<brendyn>wifi card i guess
[06:42:35]<lime_>export $failcake0=wlan0
[06:42:49]<brendyn>linux has been getting crazier these recent years. It used to be wlan0 and eth0, now its wlp4s0 and enp5s0f2
[06:43:18]<lime_>Oh I create symlinks
[06:44:28]<lime_>But I've used *BSD for years where they use the driver name
[06:45:23]<lime_>em0 for the e1000e series
[06:46:01]<brendyn>It seems i need to define the device beforehand
[06:46:01]<lime_>iwm0 for my Intel card
[06:46:15]<lime_>Go on
[06:46:34]<brendyn>netdev is the virtual device in the vm, not my host os's device
[06:46:41]<brendyn>so I need to define it somehow
[06:46:57]<brendyn>"The netdev is the name of a previously defined -netdev. The virtual network device will be associated with this network backend. "
[06:47:06]<brendyn>...or not
[06:47:20]<brendyn>so i need -netdev
[06:47:57]<brendyn>But I link talking to people :/
[06:48:36]<lime_>I know
[06:48:45]<lime_>Me too :)
[06:48:54]<brendyn>*sigh*, I need to reboot since I updated linux
[06:49:10]<brendyn>Actually, I have literally no friends that even use GNU/Linux
[06:49:29]<lime_>Which Linux you use?
[06:50:05]<lime_>I use devuan
[06:50:42]<lime_>Linux-libre except for one driver
[06:51:38]<lime_>I study ethical hacking at university so most of my friends run Linux
[06:52:29]<lime_>I am going to write a driver for this WiFi card when I get GUIXSd up
[06:52:55]<brendyn>I think Stallman is right, if we do not have the stuborness to look at the license agreement and say "no, this is unacceptable", then we will simply fail. As a matter of consistency, if you need one proprietary program, you'll accept more under similar circumstances
[06:53:31]<lime_>I agree with that
[06:53:37]<brendyn>Is it difficult to write a wifi card driver? I've never even learn C before. I have two 3 wifi cards here I can't use
[06:54:14]<lime_>Not hard at all, for basic functionality
[06:54:19]<brendyn>Soon, I am going to go and talk to people in the Education Department and advocate for replacing Windows with Trisquel
[06:55:27]<lime_>My uni uses FOSS for the bootloaders which reflashes windows daily
[06:55:47]<lime_>I don't use uni systems
[06:56:09]<brendyn>reflashes windows???
[06:56:20]<brendyn>The entire system resets its self?
[06:56:57]<lime_>We make malware and botnets
[06:57:12]<brendyn>scuze me?
[06:58:24]<brendyn>Oh, you mean that kind of "hacking"
[06:58:30]<lime_>Maybe a free software society at uni wouldn't go a miss
[06:58:38]<lime_>Grey hat
[06:58:50]<brendyn>ethical hatters
[06:59:20]<lime_>My lecturer is decidedly blackhat
[06:59:32]<brendyn>What does he do?
[07:01:05]<lime_>Shuts down restaurants payment system if bad service
[07:01:19]<lime_>Or just because...
[07:02:05]<brendyn>devuan is fully libre?
[07:02:09]<lime_>Uni has a terribly insecure registry system so he printed of the details
[07:02:25]<lime_>Of every student
[07:02:43]<brendyn>My Uni had lots of usernames and passwords taken
[07:03:17]<lime_>As debian release can be full libre so can devuan
[07:03:34]<brendyn>Sure, just means fsf won't list it. no worries
[07:03:54]<brendyn>Do you agree that Triquel is the best choice for me to recommend in schools?
[07:04:08]<brendyn>I think GuixSD is The Future, but not now of course
[07:04:16]<lime_>There is a fork which is full libre
[07:04:35]<lime_>Which is listed
[07:05:52]<lime_>I think FOSS is the future, not everyone agrees and our job to make it easier
[07:06:21]<lime_>The inconvenience is slowing the movement
[07:07:00]<lime_>I have a high bug tolerance :P
[07:07:46]<brendyn>What is that supposed to mean?
[07:08:05]* harlequn78 has joined #guix
[07:09:55]<lime_>It means I've spoken to people who would use a FOSS OS if it worked with no effort
[07:10:09]* MatthewAllan93 has quit (Changing host)
[07:10:09]* MatthewAllan93 has joined #guix
[07:10:17]<brendyn>Yes well, I think that is pathetic
[07:10:36]<lime_>It's the advocates job to reduce effort
[07:11:16]* jmd has quit (Ping timeout: 264 seconds)
[07:12:03]<brendyn>Also, I think the pronunciation of Guix is silly
[07:12:25]<brendyn>I preferr to say it like gwix
[07:12:52]<lime_>I just say the letters
[07:13:18]<brendyn>This is why we can't beat Bill Gates
[07:13:58]<brendyn>Awkward things that turn people off
[07:14:10]<lime_>I have no interest in competition if I'm honest
[07:14:51]<lime_>I'm interested in technology and I like to be able to see what's breaking
[07:15:26]<brendyn>You should try and break GNUnet
[07:16:34]<lime_>Yes I saw this
[07:16:49]<brendyn>Looks interesting. Hard to understand
[07:17:35]<lime_>I was thinking of implementing a file sync client with it, similar to bittorent sync
[07:18:01]<lime_>Should do for a networking project :P
[07:18:20]<brendyn>That's what I want too but I have no idea
[07:18:42]<brendyn>I want to create a distributed Library to hold all scientific papers and books etc
[07:19:13]* jjmarin has joined #guix
[07:26:25]<lime_>There is a thing on tor where you point it a paper and it downloads it through the paygate
[07:26:46]* balduin has quit (Ping timeout: 244 seconds)
[07:28:47]<lime_>You know how github sucks?
[07:29:33]<lime_>Do you know of a FOSS alternative other than self hosting
[07:30:07]<brendyn>How does github sucks?
[07:31:46]<lime_>Closed source
[07:32:15]<brendyn>I thought this was funny
[07:35:09]<lime_>On the bus back
[07:35:41]<lime_>ETA on the hacking 100 minutes
[07:41:32]* jjmarin has quit (Remote host closed the connection)
[07:45:26]<rekado_>brendyn: you can use git-fetch instead of url-fetch.
[07:45:40]<rekado_>we have lots of packages in Guix that didn’t have a proper release.
[07:46:26]* wingo has quit (Quit: ZNC 1.6.1+deb1 -
[07:48:21]* wingo has joined #guix
[07:49:36]* alezost has joined #guix
[07:50:40]* jjmarin has joined #guix
[07:51:54]<brendyn>rekado_: will that always pull the latest git,or will it be static for a particular revision ?
[07:56:10]<rekado_>brendyn: you need to provide a commit hash.
[07:56:30]<rekado_>so it will be only fetching the given version.
[07:57:45]<lime_>Is there a telnet daemon?
[07:58:25]<rekado_>mark_weaver: I’ve just pushed two commits to “gtk-im-modules”, which requires a rebuild of both GTK+ packages. Can we build this separately? It’s for making input methods actually work with all GTK applications.
[07:58:28]<wingo>one day i will try for guixsd