IRC channel logs

2014-07-29.log

back to list of logs

<svetlana>morning
<jxself>Good 15:46.
<tadni>Yah, conkeror is now working on my host os with my wm as if it's running natively! :^)
*tadni looks into how to edit the guix system config.
<tadni>I suspect it's not at a point yet where I can easily hack together anything all to different from what the defaults are.
*jxself points tadni to https://gnu.org/software/guix/manual/html_node/System-Configuration.html
<tadni>jxself: Ty!
<tadni>Now to just figure out how to generate a vm-image correctly.
<tadni> I'm really not sure what to use with that "-s" system flag.
<tadni>Hm, I assume there is a general config file that has instructions how specifically one would build the image ... but I can't seem to find where.
<tadni>Maybe have it.
<tadni>Seems to be building!
<tadni>Hm it's building ... but I'm not sure where... can't seem to find a file yet.
<tadni>Got it... though it crashes on bootup.
<taylanub>If I add some usual #:use-module directives to a module like say for SRFI-1 as a side effect of the actual additions I made to the module, do I need to reflect this in the ChangeLog-style commit message?
<xisiqomelir>hello friends
<xisiqomelir>if one needs to recreate ~/.guix-profile, is there a way to get guix to re-create all the symlinks it contains?
<xisiqomelir>I ask because I am trying to write some documentation targeted at a less-advanced user
<xisiqomelir>I decided to move my guix dev to my thinkpad so I can continue it in bed
<xisiqomelir>but I think I have misconfigured X
<atheia>xisiqomelir: ~/.guix-profile should just be a link to the actual profile which is stored someplace else...
<xisiqomelir>right, it's in /var/gnu/profiles and so on
<atheia>namely: /usr/local/var/guix/profiles/per-user/${user-name}/guix-profile
<atheia>indeed.
<xisiqomelir>so it's actually easy to unfudge that
<xisiqomelir>can you help me with X on my Thinkpad?
<xisiqomelir>I installed xf86-intel, which I believe is the correct driver
<atheia>It should be easy to unfudge, yes, as long as the actual profile still exists.
<atheia>Presumably these are drivers for running X within guix?
<xisiqomelir>I was assuming so
<xisiqomelir>do I still need to chroot to get a working x?
<atheia>I'm afraid I'm not great with X in guix yet, so can't help with this one.
<atheia>Sorry.
<xisiqomelir>it's listed as a package on hydra
<xisiqomelir>along with xorg-server
<xisiqomelir>is it working on your system at all?
<atheia>I don't use X from guix on my system yet (I don't have it installed as a standalone system either).
<xisiqomelir>does it work in a vm?
<xisiqomelir>I could move back to my main box
<xisiqomelir>ls
<atheia>Perhaps another here might be able to help you later — I know David Thompson on he mailing list uses a Thinkpad X60 with guix as the OS.
<atheia>Don't know if he's got X going.
<atheia>He's normally around in the channel too (I think as xdaveunit, though not sure).
<xisiqomelir>ok thanks, I'll email him if I logout before he gets in
<jmd>Can anyone suggest why I cannot get gcj building? It complained about a missing zip. So I added zip as an input. Then it builds and right at the end complains that gcj has a cyclic dependency.
<jmd>I cannot see where a cyclic dependency would arise.
<xisiqomelir>ok time to try virtualizing again
<xisiqomelir>hi dave
<xisiqomelir>do you run guix on a thinkpad?
<davexunit>xisiqomelir: yes
<xisiqomelir>Can you help me with getting X started?
<xisiqomelir>I have a T420s
<davexunit>xisiqomelir: I actually haven't gotten my xorg setup going yet.
<davexunit>that's still on my TODO list
<davexunit>but I believe it involves getting the slim service working
<xisiqomelir>I heard that the problem is with setuid
<davexunit>well, we have a way in guix to specify what programs are to be setuid root.
<xisiqomelir>Does everyone else chroot from a different environment?
<xisiqomelir>I was browsing the mailing list history
<davexunit>what do you mean?
<xisiqomelir>Hang on let me find the message
<xisiqomelir> http://comments.gmane.org/gmane.comp.gnu.guix.bugs/1793
<davexunit>this is pretty old, relatively speaking.
<davexunit>X has worked on guix for awhile now.
<davexunit>there's a file you might find helpful in the guix tree: build-aux/hydra/demo-os.scm
<xisiqomelir>if I update my own /etc/config.scm to include (gnu services xorg) like that demo VM scm does
<xisiqomelir>will that help?
<davexunit>including the module isn't enough
<davexunit>you'll need to actually specify that you want the X server installed
<xisiqomelir>under (packages (list)) right?
<xisiqomelir>I already installed xorg-server and xf86-intel
<xisiqomelir>*xf86-video-intel
<davexunit>xisiqomelir: you might be able to start the server manually that way with those packages installed.
<davexunit>I just haven't set it up myself so I'm of limited usefulness to you right now.
<xisiqomelir>well if I download the demo-os.scm
<xisiqomelir>and invoke guix system
<xisiqomelir>that should replicate it, right?
<xisiqomelir>since the package managment is functional?
<xisiqomelir>I have guix on the t420 and a vm
<xisiqomelir>and I don't mind fooling around with the vm
<xisiqomelir>I have the immediate post-install state saved
<davexunit>I believe the demo-os installs services that require QEMU
<davexunit>it's intended to be a VM image
<xisiqomelir>I think if I remove this networking part it could work
<davexunit>yeah, the networking service is definitely qemu only
<xisiqomelir>oh thanks dave this was really helpful
<xisiqomelir>I wish the default config.scm in chapter 6 of the manual was more fully-featured
<davexunit>xisiqomelir: or maybe if we shipped a config file that was more fully-features
<davexunit>featured*
<xisiqomelir>The install chapter should also mention that root needs to chown /var/guix/profiles/per-user/USER/
<xisiqomelir>that sort of comes elsewhere
<davexunit>hmm, you shouldn't have to do that
<xisiqomelir>well I didn't on my default install of 0.7
<xisiqomelir>and guix build and guix package both failed because of permissions
<davexunit>that's been patched.
<davexunit>the issue is that the installation image we made has a flaw we didn't notice until after the release.
<xisiqomelir>I used the image released on the 25th
<xisiqomelir>I've been excited about using this system
<davexunit>the installer installs guix 0.6 instead of 0.7 :(
<davexunit>which is frustrating, to fix it, I think you do: guix pull && guix package -i guix && guix system reconfigure config.scm
<davexunit>as root
<sjamaan>Is there a way to "guix pull" to a particular tag?
<sjamaan>Yesterday "guix pull" failed for me
<davexunit>I don't think so, but maybe?
<xisiqomelir>I just downloaded the 0.7 source with wget
<xisiqomelir>and used "guix build --with-source=download.tar.gz guix"
<mark_weaver>xisiqomelir: I had no trouble getting X to work on a standalone guix install on my X60, fwiw.
<sneek>mark_weaver, you have 1 message.
<sneek>mark_weaver, ijp says: is (equal? (/ 0.0 0.0) (/ 0.0 0.0)) => #t, (= (/ 0.0 0.0) (/ 0.0 0.0)) => #f kosher?
<sjamaan>It is :)
<mark_weaver>indeed
<mark_weaver>I'm going to answer it on #guile though.
<sjamaan>Actually, it's unspecified what (equal? nan.0 nan.0) returns
<sjamaan>(by r7rs; dunno about r6)
<xisiqomelir>mark do you just use xf86-video-intel and xorg-server?
<xisiqomelir>and have the service defined in /etc/config.scm?
<mark_weaver>xisiqomelir: I just include (slim-service) in the (services ...) section. that's all
<mark_weaver>and you need to use the (gnu services xorg) module to import slim-service
<xisiqomelir>do you need to set #auto-login or any other stuff?
<ijp>sjamaan: it is unspecified, but I can argue this case both ways
<mark_weaver>I didn't add anything else.
<xisiqomelir>ok I'll try that again tomorrow
<xisiqomelir>working on my vm at the moment
<sjamaan>ijp: R7RS says equal? defers to eqv?, which is undefined for NaN
<ijp>I don't think you understand what I just said
<sjamaan>Oh sorry, I read it as "it is specified"
<sjamaan>I'm at work, almost ready to go home (tired)
<sjamaan>Generally it would be nicer if eqv? returned the same value as =
<sjamaan>But for performance reasons it might return #t, as that's just a direct bitwise comparison
<sjamaan>(and there are many NaN values, which means even a single implementation could return #f or #t depending on how the value was generated)
<mark_weaver>sjamaan: I mostly answered the question about = and eqv? on #guile, but I wanted to share this link: http://trac.sacrideo.us/wg/ticket/477
<mark_weaver>also see http://gnunet.org/bot/log/guile to see what I wrote there.
<mark_weaver>in scheme, = and eqv? on numbers reflect subtly different concepts.
<mark_weaver>on guile 2, eqv? will return #f for NaNs with different bit patterns, but in practice they are usually the same bit pattern.
*tadni looks how to change his keymap to colemak in his vm.
<tadni>There doesn't seem to be any "loadkeys colemak".
<sjamaan>hmm, that was a nice read
<jmd>Hey can someone help? I tried to create a gcj package thus: (define-public gcj-4.8
<jmd> (custom-gcc gcc-4.8 "gcj" '("java")))
<jmd>
<jmd>It complained about missing zip, so I added (native-inputs `(("zip" ,zip)))
<jmd>.. which built fine, but then complained about cyclic references.
<jmd>Where is the cycle? I can't see one.