IRC channel logs

2014-07-25.log

back to list of logs

*tadni` would be all for it. It better fits the initial audience, he thinks.
<civodul>mark_weaver: the system groups start at 999 downwards
<mark_weaver>well, as long as the 1000+ range stays clear, I'll be happy
<civodul>yes
*mark_weaver considers adding a "make caps_lock into control" service
<tadni`>mark_weaver: Oh, that would be nice!
<mark_weaver>it's a shame that MIPS has so many regressions compared with 0.6
<civodul>yeah
<mark_weaver>I haven't even managed to find the error message in that failed boost output. there seem to be pages and pages of extremely verbose warnings.
<mark_weaver>it would be great if someone who has actually looked at C++ in the last 15 years could take a look...
<civodul>this is intimidating
<mark_weaver>boost also seems to be using some strange build system
<mark_weaver>I may have found the error. a line that starts with "...failed gcc.compile.c++ "
<mark_weaver>ah. #error "platform not supported". grump
<civodul>oh
<mark_weaver>ah, I think it's the atomics primitives. not yet supported on mips.
<Steap> http://paste.debian.net/111533/ <- I think I have a problem with some env variables
<Steap>I've installed guile-json using guix, but this happens, any idea ?
<mark_weaver>looks like a bug in the 'json' module
<Steap>well
<mark_weaver>if you show me the corresponding 'json.scm' file, I may be able to find it
<Steap>it only happens when I use pre-inst-env
<mark_weaver>the error "source expression failed to match any pattern in form and" indicates the a bare 'and' was used where an expression was expected.
<Steap> http://git.savannah.gnu.org/cgit/guile-json.git/tree/json.scm
<Steap>oh no
<Steap>ok
<Steap>I had a file named "json" in the current directory
<Steap>and it screwed things up for some reason
<Steap>false alarm
<mark_weaver>if you load the (json) module in guile, that will look for a file named neither 'json.scm' or 'json' in the guile load path
<mark_weaver>(though the fact that it finds modules without the .scm suffix probably ought to be deprecated)
<Steap>yep, that's probably what happened
<mark_weaver>ah, I see that 0.7 has already been released, though not yet announced.
<mark_weaver>oh well, just pushed an important fix for MIPS, but too late.
<tadni`>So is guix officially released?
<tadni`>0.6
<tadni`>7*
<mark_weaver>0.7 is., but not yet announced
<mark_weaver>that will happen in a few hours I expect
<tadni`>mark_weaver: Okay, so hold off to post on reddit -- I suspect?
<mark_weaver>yes, please wait
<mark_weaver>the timing of announcements is important
<tadni`>Yeah, gotcha.
*tadni` is downloading the usb-image now. :^)
<tadni`>OH WOW, spinning of a custom install seems really easy/nice!
*tadni` wonders how he'd go about burning the distro unto a disk.
<tadni`>I don't think my laptop supports usb installs.
<tadni`>I guess I could try my old compaq desktop to test if it's viable for day-to-day use, yet. :^P
*tadni` is trying to just burn it with a traditional burner ... I'd assume it's an iso, even though it's not labeled as such.
<tadni`>Seems to be burning...
*tadni` will be rebooting and see if it runs.
<tadni`>I'll bbl. o/
<tadni>Not working on laptop, but almost booted on dedicated box!
<tadni`>Hm, I'm trying to make a live.img of the install ... but can't seem to get the command right. Right now I have "kvm -k colemak -hda guix.img -cdrom ORGANIZE/gnu-usb-install-0.7.x86_64 -boot d -m 2G" but the -cdrom flag won't load it and I can't find a usb equivalent. :^/
<tadni>For the USB image, is there anything I need to do for grub specifically?
<tadni>It says it has failed to find a "GRUB" drive and failed to install to my device.
<tadni`>I'll ask later, I guess. I really need to get to bed.
<tadni`>Peace people. o/
<civodul>Hello Guix!
***civodul changes topic to 'GNU Guix --- http://gnu.org/s/guix/ --- 0.7 is out!'
<civodul>happy 0.7 day! :-)
<civodul>sneek: later tell mark_weaver oh, the boost + TeX fixes arrived just a bit too late, sorry about that
<sneek>Got it.
<svetlana>hi. gnustep is just libraries; what graphical thing is supposed to run on top of it? wmaker or something else?
<civodul>wmaker, yes
<svetlana>and as a separate question, are there means to "install" guix so that it takes some part of disk space?
<civodul>Guix or GNU? :-)
<civodul>i.e., the package manager or the whole system?
<svetlana>the os
<civodul>then yes: just reserve it a partition, and install it to that partition of your disk
<svetlana>are there any instructions?
<tadni`>civodul: I tried to install the image to my spare desktop and I'm having an issue with grub. Do you have to specially define it anywhere?
<ArneBab_>I just wanted to update my guix system again (after ages) and I get derivation failed without having any packages installed.
<ArneBab_>guix pull: error: build failed: build of `/nix/store/6sllff2ibcapc4p0alv523w439hjkw5h-guix-latest.drv' failed
<ArneBab_>I run Guile 2.0.11
<tadni`>Also, is appropriate now to post to social media about Guix?
<tadni`>0.7
<ArneBab_>civodul: should I reinstall
<ArneBab_>?
<civodul>svetlana: for partitioning, no; we expect users to know how to do it at this point, sorry
<civodul>tadni`: what kind of issue?
<civodul>ArneBab_: if it's ancient, probably yes
<tadni`>It says it has failed to find a "GRUB" drive and failed to install to my device.
<civodul>tadni`: for "social media", sure, if you want :-)
<civodul>you're using the 0.7 installation image, right?
<tadni`>civodul: Me?
<civodul>yes
<tadni`>Yes.
<ArneBab_>civodul: ancient as in “1/3rd of the age of guix” ☺
<civodul>heh
<civodul>tadni`: could you post more details, either here or on the mailing list?
<ArneBab_>besides: the number of packages looks pretty good nowadays.
<svetlana>ok
<ArneBab_>civodul: is installation in user-home still supported?
<tadni`>civodul: Yeah, I'll likely do-so tomorrow at some point.
<tadni`>Personally I'm still truing to figure out what would be better for my uses, a vm or real physical device... until we get an iso and/or I figure out how to burn to a cd, I can't get it on my main box... which is a bummer.
<tadni`>civodul: Also, would it be appropriate now to post about 0.7 on Reddit, now?
<ArneBab_>civodul: is there still a disk image - I don’t see that on the main page.
<tadni`>ArneBab_: There's now a usb install image.
<tadni`>civodul: I think the link to it, in the System-installation part of the manual is wrong.
<ArneBab_>tadni`: is it still possible to run guix with qemu?
<ArneBab_>(that’s the simplest possible way to test it)
<tadni`>Maybe not... I get a 550 error.
<tadni`>ArneBab_: Yup.
<tadni`>I haven't figured out a working command to get it to save in a .img file though.
<ArneBab_>such a command would be very nice for spreading the word: It’s the simplest way to test the system.
<tadni`>This is what I had earlier, but -cdrom causes it to die. "kvm -k colemak -hda guix.img -cdrom ORGANIZE/gnu-usb-install-0.7.x86_64 -boot d -m 2G"
<tadni`>Don't know how to have it act as a usb device.
<ArneBab_>:(
<tadni`>Just, kvm gnu-usb-install-0.7.x86_64 boots ... but that's no fun, unless you have a place to install to.
<civodul>tadni`: yeah it's not a production system yet ;-)
<ArneBab_>it would be nice to have a pregenerated disk image so people can just run it.
<civodul>tadni`: for Reddit, sure, it's up to you
<civodul>i'm old fashioned, so i rely on others to do these things ;-)
<tadni`>civodul: Okay, no prob. :^) Does "GNU Guix 0.7 releases and with it, the first installable image of the official GNU Distro." sound decent as a title?
<tadni`>ArneBab_: I mean, if I can figure out the command, I can just write a simple shell script for people. That's not hard, just figuring out what this flag needs to be ... is the pain.
<tadni`>It would help if I ever used qemu for more than 10 minutes.
<ArneBab_>tadni`: ah, yes ☺
<ArneBab_>maybe you can reuse the flags from the GNU Hurd
<tadni`>ArneBab_: Do they use a non-iso to boot?
<tadni`>Isos are easy, because you can keep that -cdrom flag because qemu expects a .iso to be picked up by a virtual cd device...
<ArneBab_>yepp: http://www.gnu.org/software/hurd/hurd/running/qemu.html
<civodul>tadni`: sounds good!
<civodul>"distro" lowercase, probably
<tadni`>civodul: Okay, corrected and posted.
<ArneBab_>bbl
<tadni`>ArneBab_: Nah, there install instructions too have a .iso and -cdrom.
<tadni`>ArneBab_: o/
<ArneBab_>the install yes, but not the image
<tadni`>Man, I wouldn't think it'd be that hard to boot from a virtual usb-drive.
<civodul>tadni`: thanks!
<civodul>"qemu-system-x86_64 -enable-kvm gnu-install-0.7.x86_64" should be enough
<tadni`>civodul: Yeah, but where does it install the image to?
<tadni`>You want to have a virtual hard-drive, to install the system to.
<tadni`>ArneBab_: "-cdrom mini.iso" is what I see in the install instructions for Debian Hurd.
<tadni`>The full line, would be "$ qemu -m 512 -drive cache=writeback,index=0,media=disk,file=hd0.img -cdrom mini.iso -net nic,model=rtl8139 -net user"
<tadni`>Well, I figure it out later today or tomorrow all together, I really need to go to bed... I have a lot of lawn-work to do tomorrow. Peace peeps. o/
<ArneBab_>tadni`: that’s for the install, but the thing for PR is actually not the install but just a pre-installed image for testing.
<ArneBab_>qemu-system-x86_64 -m 512 -net nic,model=rtl8139 -net user -drive cache=writeback,index=0,media=disk,file=$(echo debian-hurd-*.img)
<tadni`>PR?
<ArneBab_>this runs the system and *proves* that it works. Then you can update, play and so on without endangering your main system.
<ArneBab_>Public Relations
<ArneBab_>aka writing on reddit ☺
<tadni`>Well wouldn't we need a pre-installed image for testing, then?
<tadni`>I mean, we can always spin one and it might not be a bad idea down the line, but seeing this is alpha software still (or at least the distro itself) I don't think it's too pressing now.
*Steap is wondering what "non-package inputs" are
<tadni`>Steap: Configuration files?
<Steap>those are passed in the "inputs" field as well ? Do you have an example ?
<ArneBab_>tadni`: it’s just about ensuring that people instantly *feel* that Guix is real.
<tadni`>Steap: No and I'm probably way off... I should have been asleep hours ago.
<ArneBab_>not just a research project but something which you could actually use.
<svetlana>what is a "pre-installed image"?
<civodul>Steap: yeah, there can be non-package inputs
<tadni`>ArneBab_: Yeah, I guess.
<ArneBab_>svetlana: something you can boot from qemu
<svetlana>I already can do that with 0.5 and 0.6, right?
<tadni`>svetlana: Something you don't have to manually install. Think a live-image. And yes, like 0.5-6.
<ArneBab_>I could for 0.4 - it should be there for 0.7, too.
<svetlana>:-)
<Steap>civodul: do you have an example ?
<tadni`>ArneBab_: If ludo doesn't do it, when I figure out how to install it to a vm -- I can host a pre-installed vm on my blog, if you like. :^P
<ArneBab_>cool - thanks!
<tadni`>It'll probably be a day or two though.
<tadni`>Really, I wanted to figure out this command before I went to bed though ... but I don't think that is going to happen.
<civodul>Steap: mit-scheme
<tadni`>ArneBab_: Well ... it looks like my wordpress only allows me to upload certain file-types ...
<ArneBab_>tadni`: do you just need webspace?
<ArneBab_>if it’s less than 1GiB, I can host it if you’d like that.
<tadni`>ArneBab_: I have a non-self hosted wordpress instance, so I think that's why my upload is limited. Theoretically I have 3 gigs ... but, I can't use it because the file-type is not accepted. If I can get/keep the image under a gig, I'll surely tell you and we can work from there.
<ArneBab_>ok
*tadni` is SO close to giving up for the morning and go to bed...
<svetlana> http://www.gnu.org/software/guix/manual/html_node/System-Installation.html has a typo. the 32bit system name does not have "linux" in it
<svetlana>not i686-linux, i686, if I look at the file name
<tadni>... Well, I got it booting, but it fails to resolve the partition label "gnu-disk-image"
<tadni>...
<tadni>IT WAS THAT SIMPLE.
<svetlana>how simple? what did you do?
<tadni>After you create the img, you just " sudo kvm -k colemak -hda guix.img -hdb ORGANIZE/gnu-usb-install-0.7.x86_64 -boot menu=on -m 2G"
<tadni>Adjust fields as appropriate and press f12 in the boot menu to select second drive.
<tadni>What's a proper disk size, for one to experiment with?
<tadni>5gbs?
<tadni>Okay, the test image is currently installing. Hopefully I won't have that issue with grub again ... I'm going to leave it running and we'll see. I'll be back later today after a nap and some yard work to try to finish all this off. Okay, for real ... peace peeps. o/
<tadni>I waited up anyways ... install finished and failed, with similar but not the same problem. This time with grub complaining that Filesystem 'ext2' doesn't support embedding ... even though the drive formatted as ext4 and stated as so in config.scm.
<tadni>
<tadni>I REALLY need to go to get at least a few hours of sleep ... so I'm turning off my monitor and lying down for now.
<civodul>people: "upvote" the thing at http://www.reddit.com/r/linux :-)
<civodul> https://news.ycombinator.com/item?id=8084698
<civodul>thanks davexunit
<davexunit>yw! glad someone posted it on reddit, was it you civodul?
<civodul>no, i don't really know how to do that ;-)
<davexunit>:)
<davexunit>congrats on the release!
<davexunit>things are getting exciting
<civodul>yeah, congrats everyone
<civodul>the lesson is that it's already become more time-consuming to make a Guix release than a Guile release
<civodul>because you have to do the install image, test them, etc.
<davexunit>yeah, lots of work
<civodul>so once the tag is pushed, it's still like 3h of work
<davexunit>oh wow
<civodul>well, it's a lot of waiting for builds, uploads, etc.
<davexunit>if anyone "tweets" here, you can retweet this: https://mobile.twitter.com/davexunit/status/492638813202546689
<davexunit>I use gnu social's twitter bridge to post stuff like this.
<civodul>cool
<davexunit>I hope I posted to HN at a good time. the US east coast people like me will be checking their feeds around this time.
<davexunit>time to catch the bus. later!
<civodul> http://www.phoronix.com/scan.php?page=news_item&px=MTc0OTU
<davexunit>yay
<davexunit>has anyone posted on slashdot?
<civodul>dunno
<civodul>probably not
<Steap> http://slashdot.org/index2.pl?fhfilter=guix
<mark_weaver>Hello Guix, congrats on the release! :)
<sneek>Welcome back mark_weaver, you have 1 message.
<sneek>mark_weaver, civodul says: oh, the boost + TeX fixes arrived just a bit too late, sorry about that
<civodul>hey, mark_weaver!
<mark_weaver>civodul: when you upgraded guix to guix-0.7, the version of 'guix-devel' should be bumped to 0.7.<COMMIT> also, no?
<civodul>currently it doesn't matter since it's the 'guix' binding that is used
<civodul>eventually we'll update 'guix-devel' to point to something newer
<mark_weaver>ah, okay
<mark_weaver>makes sense
<mark_weaver>right, until the 'commit' field is something newer than 0.7, it should be left as-is.
<mark_weaver>I think we should upgrade it to just after the MIPS fixes :)
<davexunit>civodul: making a post to slashdot, would you prefer that I link to savannah or the guix-devel archive?
<mark_weaver>anyway, I must say that Guix is looking really nice these days. The standalone system on the X60 works well enough that I'm sorely tempted to switch to it as my primary machine.
<davexunit>I need to work through a few more things like working with dmd, ssl stuff, and writing a more fleshed out operating system configuration.
<davexunit>but I'm approaching the same point that mark_weaver is at.
<mark_weaver>yeah, improving the SSL situation is one of the things I should work on soon.
<sneek>I'll keep that in mind.
<mark_weaver>arghhh
<mark_weaver>sneek: forget yeah, improving the SSL situation
<sneek>Okay.
<davexunit>what triggers that?
<mark_weaver>the 'soon' at the end is something that sneek recognizes as his own name.
<davexunit>interesting.
<mark_weaver>and then the 'is' in the sentence is the boundary between the keyword term to be defined and its definition.
<mark_weaver>or something to that effect. dsmith could surely fill in the details :)
<mark_weaver>soon, botsnack
<sneek>:)
<civodul>davexunit: whichever sounds the most appropriate to you; the Savannah thing is more concise, might be better
<davexunit>yeah I'll use savannah
<civodul>ok
*civodul needs dm-crypt to fully use it as the main OS
<civodul>that's my next todo item :-)
<mark_weaver>what's the easiest way to get sound working on the standalone install? I guess I need to start pulseaudio, but 'pulseaudio --start' failed for me, at least as an unprivileged user.
<civodul>mark_weaver: normally the pulseaudio server is started automatically
<civodul>and it runs as your user
<civodul>but you probably need to be in the "audio" group so it can access /dev/snd/*
<davexunit> http://slashdot.org/firehose.pl?op=view&type=submission&id=3726317
<mark_weaver>ah right, the audio group, that makes sense
<mark_weaver>we should probably mention that in the manual, and maybe add it to an example config.
<civodul>yes, definitely
<civodul>davexunit: thanks!
<civodul>davexunit: so it only shows up on the front page if people click "+", right?
<civodul>but how do people find it in the first place?
<civodul>maybe it has to be moderated?
<davexunit>civodul: yeah you have to upvote it
<jxself>Yes, thinks that are upvoted by a sufficient number of people make it appear. :)
<civodul>but how does one see it before it "appears"?
<davexunit>does the link not work?
<civodul>yes it does
<civodul>oh that's the only way to see it currently?
<civodul>hmm, ok
<davexunit>we need GNU friends to upvote if they would be so kind
<bavier``>I've been looking at GHC a bit lately
<bavier``>it's a bit of a messy situation, in the bootstrapping sense
<bavier``>you need a ghc binary in order to build ghc...
<davexunit>bavier``: that's the haskell compiler right?
<bavier``>right
<civodul>yeah, it's tricky
<civodul>Nikita looked at it a while back
<bavier``>they support building from intermediate C files, but they don't distribute those files for later versions, and to generate them, again, you need a ghc binary
<bavier``>I tried bootstrapping from some of the earlier ghc versions that did distribute the C files, but getting those to work with the newer gcc's is proving difficult.
<civodul>blech
<civodul>MIT Scheme at least distributes the C files
<civodul>gotta go
<bavier``>me too
<RISCi_ATOM>Hello everyone o/
<RISCi_ATOM>I can't wait to use guix / GNU as my primary OS.
<davexunit>hey RISCi_ATOM!
<davexunit>we can't wait for you to use it, too!
<mattl>hey...
<mattl>davexunit said i should come here, tell you about my experience with guix.
<mattl>sadly, i can't get it installed yet. i'm installing it in a virtual machine (VirtualBox) -- two things right off the bat that would help: make the install image available as an ISO file, and provide a script to partition the machine.
<davexunit>I thought the disk image was in ISO format?
<mattl>nah, it's a x86 boot sector file.
<davexunit>ahhhh
<davexunit>never realized since I just used dd to make images.
<mattl>right now, i'm at the root@gnu prompt. i guess i'll figure out how to use parted again ;)
<davexunit>sneek: tell civodul later will we be able to provide the install image as an ISO file?
<sneek>civodul, davexunit says: later will we be able to provide the install image as an ISO file?
<davexunit>:/
<davexunit>I don't know how to use you, sneek.
<davexunit>mattl: yeah, we don't have a pretty installer or anything. have to partition manually.
<davexunit>not particular usable yet, but just a month ago we weren't even booting on real hardware
<mattl>well, i like the idea of the project.
<mattl>a straight distro of GNU is needed.
<davexunit>well, maybe slightly longer than a month, but it was recent.
<mattl>but yes, an installer for lazy people like myself ;)
<davexunit>keep in mind that the installed system won't have Xorg or anything, by default.
<mattl>oh, davexunit -- http://www.gnu.org/software/guix/manual/html_node/System-Installation.html -- the link to ftp://alpha.gnu.org/gnu/guix/gnu-usb-install-0.7.system.xz is broken.
<mattl>i found the file though
<davexunit>good catch!
<davexunit>thanks
<mattl>also, not sure that your example beneath that is a good. it shows adding people to the wheel group to make them sudoer.
<mattl>GNU sudo doesn't support the wheel group, afaik.
<davexunit>wheel worked for me
<mattl>hmm. wheel shouldn't work.
<mattl>did we find a bug in GNU sudo?
<davexunit>I don't know the details behind our sudo situation, but sudo is a special program in guix.
<mattl>or su, i guess.
<davexunit>since it is setuid root
<mattl>aha... read the end of this: http://www.gnu.org/software/coreutils/manual/html_node/su-invocation.html#index-fascism-2365
<RISCi_ATOM>mattl: Can't you use the wheel group if it is defined in your /etc/sudoers file ?
<RISCi_ATOM>Or any group for that matter .
<mattl>i think wheel is special
<davexunit>maybe civodul (who isn't here right now) would change the group name given what RMS wrote in the coreutils manual.
<tadni`>Has anyone else been able to install the test image without error?
*tadni` wonders what the difference between device and label is, in config.scm.
<davexunit>tadni`: a device is a node in /dev like /dev/sda1
<davexunit>a label is a partition label set by e2label or a similar tool
<davexunit>I recommend using partition labels
<tadni`>Why is the default "root" then for device?
<davexunit>oh, sorry. I think I've misunderstood.
<tadni`>Also yeah, my partition label is GNU. So I have (title 'GNU)
<davexunit>it should be (title 'label)
<tadni`>But I'm not sure what to put in device if anything differnt than root.
<davexunit>and (device "GNU")
<tadni`>davexunit: Ah!
<davexunit>note that it must be a string
<tadni`>davexunit: device?
<davexunit>yeah
<tadni`>Okay, ... third times a charm. Let's try building this thing again!
<davexunit>thanks for trying things out!
<davexunit>it's a very different way to configure an operating system, so it takes some time to learn and get it right.
<davexunit>if you run into big errors, or have things that you would like our lead maintainer and other devs to read, please subscribe to guix-devel@gnu.org and send us an email.
<tadni`>davexunit: Yeah, no problem! Very excited for a live image of this ... I'm glad I'm returning since my long-ago, minor additions of slim dm and it's dependencies. Right now, my goal is to provide a vm people can play with, without having to install the whole thing.
<tadni`>I feel if I was like 5 years older, mailing lists would come more naturally to me. :^P
<davexunit>guix system vm
<davexunit>or guix system vm-image
<davexunit>one of those
<davexunit>one produces a standalone image, the other a vm that depends on your local /gnu/store
<tadni`>If it's that easy to generate, why isn't there one by default in this release? :^P
<tadni`>I think guix might honestly have the easiest tools to "roll your own" distro out there, which is great from a foss perspective.
<tadni`>civodul: o/
<davexunit>hey civodul
<davexunit>we've gotten some new visitors due to the release
<tadni`>So, is the default image still pushing WindowMaker? I saw something in/on the git log that mentioned ratpoison.
<davexunit>windowmaker
<davexunit>though the minimal operating-system configuration doesn't have X
<davexunit>so don't be surprised when you don't have a graphical environment.
*tadni` wonders what that was referring to then.
<tadni`>davexunit: Is it obvious what to do, to install it?
<tadni`>Should I even install a gui, if I'm distributing a test image...?
<davexunit>build-aux/hydra/demo-os.scm can produce a qemu vm image with X
<davexunit>tadni`: I don't know exactly how to get X up and running by myself. haven't tried it yet.
<tadni`>davexunit: Fair enough.
<davexunit>need to get the slim service running and stuff
<civodul>yes, slim-service starts the X server and slim
<civodul>then the default is wmaker, but that can be overridden with a ~/.xsession file
<tadni`>Next release, I'll be shocked if I'm not running GNU as my main system. :^)
<RISCi_ATOM>tadni`: I'm working toward that goal as we speak :3
<tadni`>Really, the maturity of guile-wm compared to stumpwm (lack of modeline is a big problem for me) and no conkeror are really the only two things keeping me off right now.
<sfsfsdf>civodul: how do I enable substitutes auth?
<sfsfsdf>test-suite.log is full of related warnings
<davexunit>tadni`: I throw a patch at guile-wm every now and then.
<tadni`>RISCi_ATOM: Not there for me yet, but very, very close. :^)
<davexunit>sfsfsdf: guix archive --authorize < /path/to/hydra.gnu.org.pub
<RISCi_ATOM>tadni`: I hope that I can get Common Desktop Environment working :3
<civodul>sfsfsdf: it's always enabled, except for the tests
<sfsfsdf>davexunit: Is it needed if I don't use substitutes?
<tadni`>davexunit: Yeah, I've seen and much appreciated. I don't understand X nearly enough to be any real help. :^P
<civodul>sfsfsdf: if you don't use substitutes, you don't need to do anything
<civodul>(except reading the manual ;-))
<davexunit>sfsfsdf: oh for tests, sorry.
<sfsfsdf>davexunit, civodul: what's your sha256sum for http://coq.inria.fr/distrib/V8.4pl4/files/coq-8.4pl4.tar.gz?
<davexunit>tadni`: I don't know X either. :P I just tweak a thing or two. guile-wm needs a way to escape the prefix key. by default it's C-t which means no transpose in emacs without re-mapping.
<tadni`>I use ", in Stumpwm as a prefix. It's nothing in emacs (that I know of) and right on the home row for both qwerty and colemak.
<civodul>too late...
<tadni`>... Still same error. My drive is ext4, why does grub think it's ext2!
*tadni` goes off to test oe physical machine.
<civodul>tadni`: GRUB doesn't really see any difference, but that's not a problem
<civodul>what's the issue?
<jmd>gcc in guix doesn't seem to provide gcj
<civodul>no, indeed
<civodul>it provides other languages though, so it should be easy to add it based on that
<davexunit>tadni`: stumpwm can escape the prefix at least. it requires using the x protocol to repeat the keypress event. I couldn't figure out how to do it right.
<RISCi_ATOM>Hello everyone, I have a dumb question.
<jxself>That's my risci_atom. :)
<RISCi_ATOM>I installed using the default configuration (with some changes specific to my system)
<RISCi_ATOM>When I boot, it says "failed to resolve partition label "gnu-disk-image"
<RISCi_ATOM>Where is this defined ?
<RISCi_ATOM>Or could I give my root (/dev/sda1) that label?
<davexunit>RISCi_ATOM: could you show me your config? you can use something like paste.lisp.org
<davexunit> http://paste.lisp.org
<jxself>Lisp!
<davexunit>I only have a couple minutes to look at it before I head out to start my friday funtime. :)
<RISCi_ATOM> http://paste.lisp.org/display/143239
<davexunit>gotta go, RISCi_ATOM, if you're trying to boot using a device label rather than a /dev node, make sure you include (title 'label) in your file-system declaration
<davexunit>ah, you say (title 'label) but then give a /dev node as the device
<davexunit>change that to your partition's label!
<RISCi_ATOM>Ah
<davexunit>set with e2label or other such program
<davexunit>thanks for trying guix and happy hacking! off to chinatown I go.
<RISCi_ATOM>The issue is that I was selecting the wrong GRUB option at boot.
<jxself>It helps to select the right thing. :)
<RISCi_ATOM>>_>