You are here

IRC logs for #guix, 2017-10-20 (GMT)

2017-10-19
2017-10-21
TimeNickMessage
[00:00:33]* Acou_Bass has quit (Ping timeout: 248 seconds)
[00:12:35]* Acou_Bass has joined #guix
[00:18:58]* yann-kaelig has quit (Quit: I'll be back)
[00:50:39]* lfam has joined #guix
[00:51:23]* efraim1 has quit (Ping timeout: 246 seconds)
[00:55:59]* Acou_Bass has quit (Ping timeout: 248 seconds)
[00:57:52]* efraim1 has joined #guix
[00:57:52]* efraim1 has quit (Changing host)
[00:57:52]* efraim1 has joined #guix
[01:01:49]* Acou_Bass has joined #guix
[01:16:44]<CharlieBrown>How do I encrypt my disk?
[01:17:17]<CharlieBrown>brendyn: Synergy?
[01:20:37]<brendyn>CharlieBrown: What?
[01:21:41]<CharlieBrown>brendyn: There's an app called Synergy that lets you drag your mouse and keyboard from screen to screen on several computers that are side by side.
[01:22:12]<CharlieBrown>Drag your mouse, and your keyboard controls that computer too.
[01:22:15]<CharlieBrown>Like a multi-monitor setup.
[01:22:29]<brendyn>oh, i was thinking of writing that program actually.
[01:23:04]<CharlieBrown>It already exists. It's called Synergy.
[01:31:23]* rekado has quit (Ping timeout: 258 seconds)
[01:34:57]* daviid has quit (Ping timeout: 248 seconds)
[01:37:17]* rekado has joined #guix
[01:38:09]* Acou_Bass has quit (Ping timeout: 248 seconds)
[01:47:14]<brendyn>CharlieBrown: the program is in guix but the website makes it look like it's a proprietary program, requiring sign up and money
[01:54:07]* Acou_Bass has joined #guix
[02:01:17]* ArneBab_ has joined #guix
[02:03:08]* DoublePlusGood23 has quit (Remote host closed the connection)
[02:04:57]* DoublePlusGood23 has joined #guix
[02:04:57]* ArneBab has quit (Ping timeout: 240 seconds)
[02:06:15]<CharlieBrown>brendyn: I have no problem with their business model, but I want to know what I'm buying.
[02:18:19]* lfam has quit (Ping timeout: 252 seconds)
[02:30:43]* psachin has joined #guix
[02:40:33]* bnw has joined #guix
[02:47:46]* DoublePlusGood23 has left #guix ()
[02:47:58]* DoublePlusGood23 has joined #guix
[02:56:16]* marusich has joined #guix
[02:59:13]* ArneBab has joined #guix
[03:03:29]* ArneBab_ has quit (Ping timeout: 248 seconds)
[03:19:00]* brendyn has quit (Ping timeout: 246 seconds)
[03:27:37]* marusich has quit (Ping timeout: 252 seconds)
[03:29:27]* pagurus` has quit (Ping timeout: 240 seconds)
[03:39:59]* mbuf has joined #guix
[03:46:35]* LuNaTicPanDora has joined #guix
[04:01:10]* jluttine has quit (Quit: WeeChat 1.7.1)
[04:01:39]* efraim1 has quit (Ping timeout: 258 seconds)
[04:07:53]* efraim1 has joined #guix
[04:07:53]* efraim1 has quit (Changing host)
[04:07:53]* efraim1 has joined #guix
[04:26:39]* atw has quit (Ping timeout: 248 seconds)
[04:29:39]* jluttine has joined #guix
[04:32:15]* paulelms has joined #guix
[04:34:13]* jluttine has quit (Client Quit)
[04:34:54]* jluttine has joined #guix
[04:41:59]* jluttine has quit (Quit: WeeChat 1.7.1)
[04:42:12]* jluttine has joined #guix
[04:43:07]* jluttine has quit (Client Quit)
[04:43:24]* jluttine has joined #guix
[05:02:08]* jonsger has joined #guix
[05:03:27]* janneke has quit (Ping timeout: 240 seconds)
[05:08:47]* jonsger has quit (Ping timeout: 248 seconds)
[05:19:15]* DoublePlusGood23 has quit (Remote host closed the connection)
[06:27:43]* LuNaTicPanDora has quit (Ping timeout: 248 seconds)
[06:33:05]* psachin has quit (Ping timeout: 240 seconds)
[06:53:43]* marusich has joined #guix
[07:03:52]* ng0 has joined #guix
[07:05:27]<ng0>sneek: later tell civodul: wrt the new website discussion, in case you missed it I've posted patches for the wip-website branch on the guix-devel list, subject including [PATCH][website]
[07:05:28]<sneek>Okay.
[07:09:32]* rama_dan has joined #guix
[07:11:09]* ng0 has quit (Remote host closed the connection)
[07:11:30]* ng0 has joined #guix
[07:14:23]* ng0 has quit (Client Quit)
[07:15:52]* marusich has quit (Ping timeout: 252 seconds)
[07:16:36]* marusich has joined #guix
[07:23:21]* snape has joined #guix
[07:26:18]* brendyn has joined #guix
[07:57:05]* Acou_Bass has quit (Ping timeout: 240 seconds)
[08:00:09]* yann-kaelig has joined #guix
[08:03:13]* Acou_Bass has joined #guix
[08:22:08]* htgoebel has joined #guix
[08:25:17]<htgoebel>Good morning Guix.
[08:26:58]<htgoebel>With a system-description, how can I easily add singe file (shell-script)? Its only for debugging, so a package is overdose.
[08:27:42]* mekeor has joined #guix
[08:33:30]* Piece_Maker has joined #guix
[08:35:43]* Acou_Bass has quit (Ping timeout: 248 seconds)
[08:35:43]* Piece_Maker is now known as Acou_Bass
[08:42:13]* Sleep_Walker has quit (Ping timeout: 255 seconds)
[08:53:48]* thomasd has joined #guix
[08:54:33]<thomasd>htgoebel: saw your question in the log. You can use “extra-special-file” for that (https://www.gnu.org/software/guix/manual/html_node/Base-Services.html)
[08:55:31]* Sleep_Walker has joined #guix
[08:56:47]* rgrau has joined #guix
[08:59:28]<htgoebel>thomasd: Merci. Not exactly what I want since it needs to got into a service (and not into the system declaration), but would be okay – if I'd understand how to use it.
[08:59:49]<thomasd>in a service, you can extend special-files-service
[09:03:26]* paulelms has quit (Remote host closed the connection)
[09:05:26]<htgoebel>thomasd: Buhh, this sounds complicated. I'll better head towards sharing a folder.
[09:13:53]<thomasd>htgoebel: in your service-type definition, add something like (extensions
[09:13:53]<thomasd> (list (service-extension special-files-service-type ...))), there's examples in the manual
[09:15:53]<thomasd>and replace ... by a list of tuples (file-name file-content), I believe
[09:17:52]<htgoebel>Yes, sharing is much easier, just add run "guix system vm --share=$PWD=/exchange" – and I can access the output from the host-machine, too.
[09:19:52]<htgoebel>thomasd: Most examples in the manual are quite terse and the learning curve is quite steep for me. For me many examples are only fragments
[09:20:53]<thomasd>htgoebel: Yes, I also needed some experimentation. Of course, the code itself contains many examples.
[09:24:56]<thomasd>But a more in-depth “tutorial” would be useful. Otherwise, I think GuixSD services are actually pretty great (not much experience writing services on other systems, though, maybe it's just as nice with systemd, or other init systems).
[09:25:10]<htgoebel>thomasd: tutorila: Ack
[09:37:50]* Acou_Bass has quit (Ping timeout: 258 seconds)
[09:38:40]* Acou_Bass has joined #guix
[09:45:11]* Piece_Maker has joined #guix
[09:46:48]* Acou_Bass has quit (Ping timeout: 240 seconds)
[09:46:48]* Piece_Maker is now known as Acou_Bass
[09:47:47]<htgoebel>Argl, I can't get the ssh-login on the qemu-vm to work. I'm using the openssh-service-type with (permit-root-login 'without-password), but cant log-in. The connection is closed, I can not even spot a log-entry in the machine.
[09:49:40]<efraim>After 'herd start cow-store /mnt' everything is supposed to be downloaded and installed to /mnt/gnu/store?
[09:50:23]<efraim>htgoebel: I've found on my current machine ssh is available to 127.0.0.1 but not to 192.168.x.y
[09:53:12]<htgoebel>efraim: well, connection is established "Connection reset by peer". So I assume communication basically works. (if the guest is not running, the message is "Connection refused")
[09:58:53]* Piece_Maker has joined #guix
[09:59:35]<efraim1>now that i've tried ssh-ing into that guixsd box, suddenly nmap shows port 22 open
[09:59:51]<efraim1>i'm filing that under WTF
[10:01:37]* Acou_Bass has quit (Ping timeout: 248 seconds)
[10:01:37]* Piece_Maker is now known as Acou_Bass
[10:04:48]* thomasd has quit (Ping timeout: 240 seconds)
[10:06:22]* oahong has quit (Ping timeout: 264 seconds)
[10:08:46]* oahong has joined #guix
[10:08:46]* oahong has quit (Changing host)
[10:08:46]* oahong has joined #guix
[10:13:15]<htgoebel>efraim: solved my issue: I was still starting an old machine with openssh not installed :-( So the Connection reset by peer seems to come from qemu
[10:17:18]* yann-kaelig has quit (Quit: I'll be back)
[10:58:12]* michiel_l has quit (Ping timeout: 246 seconds)
[11:14:28]* python476 has joined #guix
[11:15:12]* mjl has left #guix ()
[11:17:46]* michiel_l has joined #guix
[11:21:19]* iyzsong has joined #guix
[11:24:22]* dimaursu16 has joined #guix
[11:25:00]* thomasd` has joined #guix
[11:32:53]* snape has quit (Remote host closed the connection)
[11:36:59]* civodul has joined #guix
[11:37:50]<civodul>Hello Guix!
[11:37:51]<sneek>Welcome back civodul, you have 1 message.
[11:37:51]<sneek>civodul, ng0 says: wrt the new website discussion, in case you missed it I've posted patches for the wip-website branch on the guix-devel list, subject including [PATCH][website]
[11:37:57]<thomasd`>howdy
[11:49:46]<rekado>civodul: I’m glad the JSON importer made someone happy :)
[11:50:21]<rekado>I previously played with some code to use the importer transparantly in the background with “guix build”.
[11:50:58]<civodul>that would be fun
[11:51:07]<civodul>we could have a generic way to do that with *all* the importers
[11:51:25]<rekado>I accidentally committed a draft version of that back when I pushed the importer
[11:52:05]<rekado>we couldn’t use streams any more
[11:52:17]<rekado>and all importers would need to be recursive importers IIUC
[11:52:35]<rekado>because their input fields must contain actual package objects
[11:52:52]<rekado>so they need to be created or looked up first
[11:54:37]<civodul>right
[11:54:41]<civodul>well, that's the way forward! ;-)
[11:55:00]* jonsger has joined #guix
[12:01:39]* jonsger1 has joined #guix
[12:03:47]* jonsger has quit (Ping timeout: 260 seconds)
[12:03:48]* jonsger1 is now known as jonsger
[12:28:06]* baijum has joined #guix
[12:36:53]* mbuf has quit (Quit: Leaving)
[12:36:56]* daviid has joined #guix
[12:41:31]* python476 has quit (Read error: Connection reset by peer)
[12:41:32]* brendyn has quit (Ping timeout: 255 seconds)
[13:04:35]* bnw has quit (Quit: Leaving)
[13:12:14]<efraim1>uh oh, speexdsp doesn't build on aarch64
[13:17:34]* mbuf has joined #guix
[13:19:00]<efraim1>not bad, just had to disable neon
[13:30:48]* oahong has quit (Ping timeout: 246 seconds)
[13:34:15]* oahong has joined #guix
[13:34:19]* oahong has quit (Changing host)
[13:34:19]* oahong has joined #guix
[13:34:44]<civodul>efraim1: good :-)
[13:34:55]<civodul>so aarch64 doesn't support neon?
[13:37:42]* neuromorphic has quit (Read error: Connection reset by peer)
[13:41:40]<efraim1>civodul: it does, but in the configure.ac when it detected neon it defaulted to armv7-a, and only had flags for armv[456]
[13:42:09]<civodul>oh i see
[13:45:05]* thomasd` has quit (Ping timeout: 240 seconds)
[13:50:03]* Apteryx has quit (Disconnected by services)
[13:50:27]* Apteryx_ has joined #guix
[13:50:32]* python476 has joined #guix
[14:05:21]* jonsger1 has joined #guix
[14:05:27]* jonsger has quit (Ping timeout: 246 seconds)
[14:05:27]* jonsger1 is now known as jonsger
[14:34:57]* iyzsong has quit (Ping timeout: 240 seconds)
[14:49:17]* ng0 has joined #guix
[14:52:57]* mkbk has joined #guix
[14:53:30]<mkbk>I'm here to talk about an elogind error
[14:55:40]<mkbk>I'm using artix. invoking "loginctl --no-ask-password poweroff" gives me: failed to reboot via elogind. message recipient disconnected from message bus without repleying PID1: recieved "reboot" from FIFO ... Staring reboot runlevel *Call to flock failed: Resource temporarily unvailable
[14:56:06]* fr33domlover has quit (Quit: fr33domlover)
[14:56:34]* fr33domlover has joined #guix
[15:05:41]* mekeor has quit (Remote host closed the connection)
[15:18:12]* HappyEnte has joined #guix
[15:20:46]* yrk has joined #guix
[15:28:44]<rekado>PSA: On Monday+Tuesday berlin.guixsd.org will be undergoing maintenance.
[15:29:16]<rekado>need to move servers to different racks and switch the build farm to a new head node.
[15:29:26]<rekado>will send mail to guix-devel and sysadmin later.
[15:29:30]<rekado>ACTION goes afk
[15:30:47]* jonsger has quit (Read error: Connection reset by peer)
[15:31:27]* baijum has quit (Ping timeout: 260 seconds)
[15:31:33]* jonsger has joined #guix
[15:40:47]* yrk has quit (Read error: Connection reset by peer)
[15:45:50]<civodul>mkbk: weird
[15:45:59]<civodul>mkbk: could you email the list about this issue?
[15:46:22]<civodul>ACTION has Guix installed on the local cluster at work \o/
[15:46:44]<bavier>civodul: cool!
[15:47:33]<civodul>i provided guidance to the sysadmin who took care of it, but it went rather well
[15:47:51]<jonsger>nice :)
[15:48:44]<civodul>also, one of the nice things is that content-addressed mirrors are a perfect match for their host whitelisting policy
[15:49:06]<civodul>basically, even if they just let mirror.hydra.gnu.org through, we should be able to fetch all the binaries *and* source
[15:50:07]* pagurus has joined #guix
[15:52:22]* mbuf has quit (Quit: Leaving)
[15:59:27]* pagurus has quit (Ping timeout: 240 seconds)
[16:00:13]* pagurus has joined #guix
[16:02:45]* baijum has joined #guix
[16:05:19]* mkbk has quit (Quit: Page closed)
[16:18:09]<civodul>bavier: i forgot to Cc you, but this is the patch series with the "make -j" fix: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=27284#58
[16:18:37]<civodul>let me know what you think
[16:23:34]<bavier>civodul: thanks, I'll get it a try
[16:23:58]<civodul>awesome
[16:24:17]<bavier>s/get/give/
[16:25:21]<bavier>civodul: does it work for you?
[16:26:21]<bavier>at first glance, I'm expecting it'd always build with (current-processor-count)
[16:28:11]<bavier>because MAKEFLAGS never includes the actual number, afaik
[16:29:46]<civodul>bavier: for me it includes whatever "-jxxx" flag you passed
[16:30:27]* civodul has quit (Read error: Connection reset by peer)
[16:32:32]* jonsger has quit (Quit: jonsger)
[16:32:49]* jonsger[m] has joined #guix
[16:36:01]<jonsger[m]>nice http://kicad-pcb.org/download/gnu-guix/ :)
[16:37:07]* civodul has joined #guix
[16:37:38]* marusich has quit (Quit: Leaving)
[16:37:45]<bavier>jonjits[m]: yeah cool
[16:37:51]<civodul>bavier: sorry, emacs crash, grrr :-/
[16:37:55]<civodul>did you get my reply?
[16:38:01]* marusich has joined #guix
[16:38:03]<bavier>civodul: yes
[16:38:44]<civodul>ok :-)
[16:38:46]<bavier>I hope I'm pleasantly surprised when I try
[16:38:50]* lfam has joined #guix
[16:39:08]* marusich has quit (Client Quit)
[16:39:20]<civodul>now if you run "make -j", it won't behave like -j, but instead like "-jN" where N is the number of procs
[16:39:27]<civodul>i think that's acceptable though
[16:39:27]* pagurus has quit (Ping timeout: 240 seconds)
[16:39:30]<jonsger[m]>I hope using the GuixSD instead of the Guix logo was right...
[16:39:44]* LuNaTicPanDora has joined #guix
[16:40:26]<quigonjinn>jonsger[m]: did you get in contact with the kicad project for that addition?
[16:40:55]<jonsger[m]>quigonjinn: kind of https://github.com/KiCad/kicad-website/pull/211 :P
[16:42:46]* civodul has quit (Remote host closed the connection)
[16:48:05]<quigonjinn>jonsger[m]: cool! this reminded out version should be updated
[16:48:57]<quigonjinn>s/out/me our/
[16:51:26]* Sleep_Walker has quit (Read error: Connection reset by peer)
[16:51:35]* Sleep_Walker has joined #guix
[16:52:15]* pagurus has joined #guix
[16:52:44]<jonsger[m]>yes
[16:55:16]<jonsger[m]>quigonjinn: maybe I give it a try this weekend. but first have to build other stuff and I have only my laptop with dualcore :(
[16:56:44]<bavier>sneek: later tell civodul: e.g. if I put a (pk 'MAKEFLAGS flags) in compile-all.scm and run make with '-j4', I see ";;; (MAKEFLAGS "w -j --jobserver-fds=3,4")", so parallel-job-count returns (current-processor-count)
[16:56:44]<sneek>Got it.
[16:57:39]<bavier>sneek: later tell civodul: GNU Make 4.0
[16:57:39]<sneek>Got it.
[17:03:40]* ng0 has quit (Ping timeout: 248 seconds)
[17:04:49]<quigonjinn>jonsger[m]: don't bother with it. I plan to do it soon. And add support for ngspice as well, now that we have a package in guix.
[17:05:52]<jonsger[m]>quigonjinn: okay :)
[17:08:02]* ng0 has joined #guix
[17:10:14]* yrk has joined #guix
[17:25:03]* yrk has quit (Read error: Connection reset by peer)