You are here

IRC logs for #guix, 2017-08-19 (GMT)

2017-08-18
2017-08-20
TimeNickMessage
[00:00:25]* castilma has quit (Ping timeout: 240 seconds)
[00:11:56]* hightower has quit (Remote host closed the connection)
[00:17:42]* daviid has joined #guix
[00:19:44]* LuNaTicPanDora has quit (Ping timeout: 248 seconds)
[00:27:05]<cbaines>wingo, I've just created a bug for the info-dir issue, as I've had that problem a few times https://debbugs.gnu.org/cgi/bugreport.cgi?bug=28144
[00:28:29]* specing has quit (Read error: Connection reset by peer)
[01:31:08]* rekado_ has joined #guix
[01:31:55]* rekado has quit (Ping timeout: 240 seconds)
[01:45:41]* jackhill has quit (Remote host closed the connection)
[01:48:57]* jackhill has joined #guix
[01:50:56]* botho has quit (Ping timeout: 248 seconds)
[01:54:59]* botho has joined #guix
[01:55:24]* xkapastel has joined #guix
[02:27:12]* iyzsong has joined #guix
[02:31:33]<Gamayun>Just wondering, as I am travelling with my GuixSD laptop at the moment, is there a way to set the time-zone temporarily or per profile? Or is there no other place but the OS definition?
[02:58:49]* ArneBab_ has joined #guix
[03:02:57]* daviid has quit (Ping timeout: 240 seconds)
[03:02:57]* ArneBab has quit (Ping timeout: 240 seconds)
[03:28:28]* DoublePlusGood23 has joined #guix
[03:34:07]* brendyn has joined #guix
[04:00:11]* DoublePlusGood23 has quit (Quit: DoublePlusGood23)
[04:38:15]* rekado has joined #guix
[04:38:32]* iyzsong-x has joined #guix
[04:39:28]* rekado_ has quit (Ping timeout: 248 seconds)
[04:42:22]* iyzsong has quit (Ping timeout: 255 seconds)
[04:42:37]* rekado_ has joined #guix
[04:42:57]* rekado has quit (Ping timeout: 240 seconds)
[04:53:25]* samplet has quit (Remote host closed the connection)
[04:57:42]* rekado has joined #guix
[05:00:22]* rekado_ has quit (Ping timeout: 255 seconds)
[05:04:08]* rekado_ has joined #guix
[05:04:20]* rekado has quit (Ping timeout: 240 seconds)
[05:09:13]* rekado has joined #guix
[05:09:57]* rekado_ has quit (Ping timeout: 240 seconds)
[05:19:06]* rekado_ has joined #guix
[05:20:35]* rekado has quit (Ping timeout: 240 seconds)
[05:55:57]* mog has quit (Ping timeout: 240 seconds)
[06:23:54]* iyzsong-x has quit (Read error: Connection reset by peer)
[06:32:42]* ShalokShalom_ has joined #guix
[06:35:25]* ShalokShalom has quit (Ping timeout: 240 seconds)
[06:43:38]* richi235 has quit (Remote host closed the connection)
[06:45:38]* richi235 has joined #guix
[06:46:25]* rekado_ has quit (Ping timeout: 248 seconds)
[06:46:37]* rekado has joined #guix
[06:52:48]* efraim has quit (Remote host closed the connection)
[06:53:00]* efraim has joined #guix
[06:53:29]* efraim has quit (Remote host closed the connection)
[06:53:46]* efraim has joined #guix
[06:57:35]* neuromorphic has joined #guix
[06:57:54]* LuNaTicPanDora has joined #guix
[07:14:55]* ShalokShalom_ is now known as ShalokShalom
[07:36:12]* mildred has joined #guix
[07:49:20]* mildred has quit (Ping timeout: 240 seconds)
[08:04:14]* iyzsong has joined #guix
[08:14:45]* xkapastel has quit (Quit: Connection closed for inactivity)
[08:32:44]* tct_ has joined #guix
[08:41:38]* ng0 has joined #guix
[08:41:58]<ng0>Gamayun: do you just need the time for yourself as a clock?
[08:43:42]* Jackneilll has joined #guix
[08:45:12]<ng0>in the case for just a clock you could write script, like https://gitweb.krosos.org/scripts.git/tree/dash/world_time.sh
[08:46:48]* specing has joined #guix
[08:48:14]<cbaines>Is there a way to have guix system reconfigure take effect on services, without rebooting?
[08:51:34]<rekado>cbaines: you need to stop the service, then reconfigure
[08:51:46]<rekado>this works for most services
[08:51:48]<cbaines>great, I'll try that
[08:59:50]<ng0>yesterday I found this.. it's a cute toy project showing that the general idea and importance of aiming for exact and comparable builds hasn't reached everyones attention yet. https://notabug.org/akkartik/basic-build
[09:01:26]<ng0>maybe this changes now that Debian has made the mandatory reproducible build policy, debian being very big in use and all..
[09:16:52]<ng0>Wouldn't it be better if we would move all the XXXs, FIXMEs and TODOs to bug tracker issues?
[09:27:26]* iyzsong has quit (Quit: ZNC 1.6.5 - http://znc.in)
[09:27:55]<ng0>this is not completely accurate, but we have 647 XXXs, 397 FIXMEs, and 336 TODOs in the code.
[09:36:31]<cbaines>Why do you think it might be better?
[09:39:28]<ng0>the tracker can be searched, in the text files it is just "noise" in the code, you will only see it once you search for it. With the tracker you know directly which package has open tasks without searching explicitly for the kind of open task and directory
[09:41:20]<ng0>sometimes the notes are okay, as they are right in place, but you get no central place for information
[09:42:33]<ng0>no, they are always okay the problem is just that you don't know what exists.
[09:42:41]<ng0>the blackboard for jobs is missing
[09:44:49]* tct_ has quit (Quit: Leaving.)
[09:54:51]<ng0>does someone of you keep their Shepherd user-services, for shepherd running on non-GuixSD systems, online somewhere? I need a practical set of examples to see how exactly they differ.
[10:10:02]<ng0>I have a rather stupid question about the guix system disk-image command. I have read most of the code around it. We do not auto-compile the gnu/system/install.scm module, we just use it as an argument. So far I just assumed this only works when you are in the root of the git checkout out the guix source. I think I still don't understand the full PATH perspective. Will it work when I move elsewhere? Do I have
[10:10:03]<ng0>to have the git checkoutout or is the location of the file in some environment variable and we could move whereever and it'd still be functional? Any further modules I should read to unerstand it?
[10:12:15]* mbuf has joined #guix
[10:14:58]* pmikkelsen has joined #guix
[10:16:04]<pmikkelsen>hi guix
[10:20:52]* pmikkelsen has quit (Remote host closed the connection)
[10:47:51]* pmikkelsen has joined #guix
[10:57:47]* iyzsong has joined #guix
[11:02:25]<ng0>For a guix package definition I have which is using git: is there an easy way to have (dirname (current-filename)) point to ../../.. ? Whe I use (define %source-dir (dirname "../../../README")) I get an illegal filename message when I try to build, while in the repl I get returned "../../.."
[11:07:39]<ng0>I have to instruct the source that 1. the source is at ../../.. so that not just the cwd is copied to the build machine, and 2. that the build happens at ../../..
[11:11:01]<cbaines>ng0, try using the canonicalize-path function, in place of dirname
[11:11:03]<ng0>I could chdir and then getcwd.. maybe that helps
[11:11:11]<ng0>hm
[11:11:13]<ng0>okay
[11:11:40]<ng0>which srfi provides that?
[11:11:53]<ng0>(should bookmark the search for that)
[11:12:40]<ng0>ice-9?
[11:12:51]<cbaines>I don't know, I think I remember not even being able to find documentation on it
[11:13:09]<cbaines>it just works if you launch Guile though, so I think it's always available
[11:13:24]<ng0>ok
[11:15:10]<ng0>now I have different errors
[11:15:35]<ng0>it worked though
[11:16:45]<cbaines>great :)
[11:17:01]<ng0>this copying is taking much longer now.. I think I got it
[11:17:10]<ng0>not a file but just "../../.."
[11:17:44]<cbaines>do you know about the git-predicate function?
[11:17:48]<ng0>yep.. as I should've guessed, -path is for paths
[11:18:09]<ng0>I moved a file around, that's why I asked
[11:18:56]<ng0>I'm not sure if nix has something similar, but the person maintaining the nix files will adjust it
[11:32:07]* jonsger has joined #guix
[11:44:41]* pagurus has joined #guix
[11:52:14]* mildred has joined #guix
[12:02:02]* ng0 has quit (Quit: Alexa, when is the end of world?)
[12:02:45]* mbuf has quit (Quit: Leaving)
[12:12:31]* pmikkelsen has quit (Remote host closed the connection)
[13:04:13]* castilma[m] has joined #guix
[13:04:48]* castilma[m]2 has joined #guix
[13:06:50]* castilma has joined #guix
[13:38:13]* joelpet has quit (Remote host closed the connection)
[13:40:34]* bnw has quit (Ping timeout: 255 seconds)
[13:54:06]* bnw has joined #guix
[14:05:17]* jfc has joined #guix
[14:07:27]* jfc has quit (Client Quit)
[14:07:47]* jfc has joined #guix
[14:22:56]<rekado>it’s unfortunate, that the cuirass service cannot be reloaded without a reboot
[14:23:20]<rekado>I stopped the service, changed the cuirass package, reconfigured, started the service … and it’s not using the latest version.
[14:23:30]<rekado>only after reboot
[14:23:55]* bnw has quit (Ping timeout: 240 seconds)
[14:24:06]<rekado>and “guix pack” is very slow.
[14:24:42]<rekado>I’m currently trying to build a docker image for a pipeline we’ve developed at the institute and waiting for “guix pack” is boring :)
[14:32:40]* felipedvorak has quit (Ping timeout: 240 seconds)
[14:33:40]* iyzsong has quit (Ping timeout: 240 seconds)
[14:36:55]* specing has quit (Ping timeout: 240 seconds)
[14:37:30]* Wojciech_K has joined #guix
[14:41:51]* pmikkelsen has joined #guix
[14:42:17]* specing has joined #guix
[14:45:23]* felipedvorak has joined #guix
[14:52:43]* bnw has joined #guix
[14:55:16]* mog has joined #guix
[15:06:22]* cheim has quit (Ping timeout: 246 seconds)
[15:11:36]* rekado_ has joined #guix
[15:12:57]* rekado has quit (Ping timeout: 240 seconds)
[15:13:56]<janneke>rekado_: we've a hybrid release with ubuntu+guix pack and i'm very happy we were able to switch to ubuntu+guix package -i
[15:14:41]<janneke>*we've done
[15:14:42]<janneke>guix pack was an amazing help to take the first step towards that
[15:15:35]<rekado_>I’m adding the “none” compressor now. This speeds up docker image generation by several minutes.
[15:27:36]* joelpet has joined #guix
[15:27:36]* joelpet has quit (Changing host)
[15:27:36]* joelpet has joined #guix
[15:29:05]* jfc has quit (Ping timeout: 240 seconds)
[15:48:48]* mbuf has joined #guix
[15:54:40]* castilma[m]2 has quit (Quit: AtomicIRC: The nuclear option.)
[15:54:52]* castilma[m] has quit (Remote host closed the connection)
[16:36:07]* Jackneillll has joined #guix
[16:36:31]* Jackneillll has quit (Remote host closed the connection)
[16:37:57]* Jackneillll has joined #guix
[16:38:19]* Jackneill has quit (Ping timeout: 255 seconds)
[16:48:53]* pmikkelsen has quit (Remote host closed the connection)
[16:51:35]* brendyn has quit (Ping timeout: 240 seconds)
[17:00:57]* castilma has quit (Ping timeout: 240 seconds)
[17:03:12]* slyfox has quit (Remote host closed the connection)
[17:05:59]* slyfox has joined #guix
[17:07:58]* joachifm has joined #guix
[17:10:55]* mildred has quit (Ping timeout: 248 seconds)
[17:15:47]* atw has joined #guix
[17:24:27]* mildred has joined #guix
[17:31:38]* dellavg has joined #guix
[17:35:34]* alezost has joined #guix
[18:05:44]* mbuf has quit (Quit: Leaving)
[18:57:58]<efraim>looks like freeimage is the culprit for armhf and aarch64 build failures of dependants, it bundles tons of stuff
[19:04:38]* daviid has joined #guix
[19:10:06]* fr33domlover_ has quit (Quit: fr33domlover_)
[19:26:35]* alezost has quit (Quit: I live in GuixSD <http://www.gnu.org/s/guix> and Emacs <http://www.gnu.org/s/emacs>)
[19:33:54]* samplet has joined #guix
[19:53:55]* pagurus has quit (Ping timeout: 240 seconds)
[19:54:49]* pagurus has joined #guix
[20:01:13]* knicklux has quit (Quit: Leaving)
[20:04:26]* dadinn has joined #guix
[20:27:56]<dadinn>hi all
[20:31:58]<dadinn>quick question: why is it that sh is not available in the normal root-profile? I am usind GuixSD 0.13.0
[20:32:55]<dadinn>using
[20:34:21]<dadinn>it is a bit annoying, as i am trying to run some scripts I wrote with "#! /bin/sh" for portability purposes, and it doesn't work unless I manually symlink stuff
[20:39:13]<buenouanq>dadinn: are you suing to root? you have to su - or su --login
[20:39:50]<rekado_>dadinn: that’s by design, but you can change this if you want to.
[20:40:13]<rekado_>dadinn: search the manual for “special-files-service-type”
[20:40:26]<rekado_>dadinn: that’s how you can create a system-wide /bin/sh link.
[20:43:29]<dadinn>rekado_: but sh is something quite basic expectation on a unix system, is it not included to keep the base image small?
[20:44:30]<dadinn>rekado_: I have just booted in to the raw usb image, by default I am root@gnu
[20:44:39]<rekado_>dadinn: it’s nothing to do with size.
[20:44:52]<rekado_>dadinn: this is also about reproducibility
[20:45:16]<rekado_>but it’s trivial to change this by using a special-files-service
[20:45:21]<rekado_>it’s just not the default.
[20:45:57]<rekado_>dadinn: yes, you are root when booting the usb image. Is this a problem?
[20:53:20]* mekeor has joined #guix
[20:56:14]* castilma has joined #guix
[20:57:07]<dadinn>rekado_: no root is not a problem, you were just asking if i am suing to be root
[21:02:52]* fr33domlover_ has joined #guix
[21:11:15]<rekado_>no, I did not. buenouanq did.
[21:19:35]* castilma has quit (Ping timeout: 240 seconds)
[21:25:48]* davidl has quit (Quit: WeeChat 1.7.1)
[21:36:11]* castilma has joined #guix
[21:40:30]<buenouanq>sorry, I misunderstood
[21:41:21]* ArneBab_ has quit (Ping timeout: 240 seconds)
[21:45:31]* ArneBab has joined #guix
[21:45:31]* ArneBab has quit (Changing host)
[21:45:31]* ArneBab has joined #guix
[21:51:46]* knicklux has joined #guix
[21:54:45]* cheim has joined #guix
[22:00:00]* efraim has quit (Remote host closed the connection)
[22:00:18]* efraim has joined #guix
[22:00:25]* efraim has quit (Changing host)
[22:00:25]* efraim has joined #guix
[22:03:24]* jonsger has quit (Ping timeout: 240 seconds)
[22:13:07]* mildred has quit (Ping timeout: 255 seconds)