| *** ridgerunner [~robjones@access.ducie-dc1.codethink.co.uk] has quit [Ping timeout: 250 seconds] | 03:21 | |
| *** ridgerunner [~robjones@access.ducie-dc1.codethink.co.uk] has joined #baserock | 03:21 | |
| *** dutch [~william@82.70.136.246] has joined #baserock | 07:16 | |
| *** fay_ [~fay@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 07:23 | |
| pedroalvarez | good morning! | 07:32 |
|---|---|---|
| *** tiagogomes [~tiagogome@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 08:02 | |
| *** mSher [~mike@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 08:08 | |
| pedroalvarez | meh, adding stage2-bash before glibc "solves" the problem but causes another | 08:12 |
| pedroalvarez | glibc replaces a placeholder in some files (@BASH@ ?) pointing to wherever bash is installed | 08:13 |
| pedroalvarez | and adding a stage2-bash causes glibc to think that it's on /tools/bin/bash | 08:14 |
| *** jonathanmaw [~jonathanm@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 08:18 | |
| Kinnison | So glibc's configuration needs teaching where bash is *going* to be :-) | 08:19 |
| Kinnison | Do you know which subtree does that? | 08:20 |
| pedroalvarez | Kinnison: not yet | 08:22 |
| Kinnison | I think I can see one instance (ldd) | 08:22 |
| Kinnison | And it'll be a pain | 08:22 |
| Kinnison | because it substitutes what the bash shell itself thinks it is | 08:22 |
| Kinnison | when you run bash, it sets $BASH to the path to itself | 08:22 |
| Kinnison | and this doesn't seem to be overrideable | 08:22 |
| Kinnison | We might actually have to build bash specially | 08:24 |
| Kinnison | and I wonder if that'll cause "issues" for the bootstrap | 08:24 |
| Kinnison | :-( | 08:24 |
| pedroalvarez | indeed, after merging any of these changes I have to test cross-bootstrap | 08:25 |
| pedroalvarez | before*** | 08:25 |
| pedroalvarez | maybe I can try to fix the root cause: | 08:28 |
| pedroalvarez | checking for bash... /tools/bin/bash | 08:28 |
| Kinnison | that's not the core root cause :-( | 08:28 |
| Kinnison | bash itself knows it was built for /tools | 08:29 |
| Kinnison | so when it runs, $BASH == /tools/bin/bash | 08:29 |
| Kinnison | and that doesn't seem to be controllable from the external environment | 08:29 |
| Kinnison | please stop pulling that face | 08:29 |
| pedroalvarez | can we hack bash? | 08:29 |
| pedroalvarez | so it thinks that it's on /bin/bash? | 08:30 |
| Kinnison | possibly, but who knows what might break | 08:30 |
| Kinnison | I'm looking now | 08:30 |
| ridgerunner | There was talk last week of a meeting this afternoon to discuss Baserock. Is that actually on? If so, when? | 08:30 |
| petefoth | ridgerunner: yes. checkout http://doodle.com/9azzxpn9zvh8g8tq. The decision is to meet at 15:00 today in 302 | 08:32 |
| petefoth | and to cover (the first four points of) the agenda at http://piratepad.net/8TnPqU6CIj | 08:33 |
| Kinnison | pedroalvarez: http://git.baserock.org/cgi-bin/cgit.cgi/delta/bash.git/tree/variables.c#n704 | 08:33 |
| Kinnison | pedroalvarez: I think it's that function which derives the value of $BASH | 08:33 |
| petefoth | ridgerunner: It's all in an email from jjardon :) | 08:33 |
| *** De|ta [~arc@195.242.156.171] has joined #baserock | 08:36 | |
| *** violeta_ [~violeta@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 08:39 | |
| pedroalvarez | Kinnison: thanks! but looks complicated to me :( | 08:39 |
| juergbi | pedroalvarez: i simply symlink /bin/bash (and /bin/sh) to the stage2 bash | 08:39 |
| juergbi | with the right PATH, this should work. at least it does for me (not baserock, though) | 08:40 |
| Kinnison | /bin/bash symlinked might work | 08:40 |
| Kinnison | That function does trawl $PATH so providing /bin is before /tools/bin in the PATH it should work | 08:40 |
| * Kinnison finds reading GNU-style C very tiring, so I might have gotten confused though | 08:41 | |
| Kinnison | depressingly it might find it from elsewhere too | 08:42 |
| Kinnison | bleurgh | 08:42 |
| pedroalvarez | I need more understanding about how we do stage1 and stage2 | 08:42 |
| *** CTtpollard [~tom@82.70.136.246] has joined #baserock | 08:48 | |
| *** rdale [~quassel@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 08:48 | |
| *** tlsa [wjJZNA6ndJ@gateway/shell/pepperfish/x-kjfwgfawtfpsxwsh] has joined #baserock | 08:53 | |
| *** rdale [~quassel@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Ping timeout: 272 seconds] | 08:53 | |
| *** rdale [~quassel@82.70.136.246] has joined #baserock | 08:53 | |
| ridgerunner | petefoth: thanks | 08:54 |
| petefoth | ridgerunner: shhh! | 08:54 |
| ridgerunner | :-) | 08:55 |
| *** ssam2 [~ssam2@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 09:06 | |
| pedroalvarez | juergbi: I was confused before because I thought that we were already doing that. | 09:36 |
| juergbi | pedroalvarez: if so, maybe /tools/bin is in the path before /bin? | 09:37 |
| pedroalvarez | the problem is that we are also setting /tools/bin in the PATH for stage3 | 09:37 |
| pedroalvarez | exactly | 09:37 |
| juergbi | i would say that /tools/bin should be after /bin in the PATH after stage2 | 09:37 |
| juergbi | however, i don't really know baserock-specific aspects of bootstrapping | 09:38 |
| pedroalvarez | that fix would be easier than checking when to set /tools/bin and when not | 09:38 |
| pedroalvarez | Kinnison, juergbi: thanks for your help :) | 09:38 |
| ssam2 | the logic to add /tools/bin to the PATH is based on the 'prefix' setting of the dependent chunks | 10:34 |
| ssam2 | basically any chunk that sets 'prefix' gets that prefix prepended to the PATH of all future builds | 10:34 |
| ssam2 | hopefully we can stop doing that because it's a bit dumb | 10:35 |
| ssam2 | it's dumb because /tools/bin is added to the PATH for every chunk, even though it doesn't exist for most of the build process | 10:35 |
| pedroalvarez | i'm not 100% sure it's dumb, but I think I'm sure that adding it before /bin and before /usr/bin is a bad idea | 10:37 |
| *** sambishop [~sambishop@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 11:31 | |
| pedroalvarez | hm... I wonder now what happens when cross-bootstrap a system. I believe that in that case the bin --> tools/bin symlink won't be there when building the stage3 chunks. | 11:57 |
| pedroalvarez | I may be wrong | 11:57 |
| persia | Does cross-bootstrap do something especially different than regular bootstrap? If so, can it be replaced with some nifty trick to build a foreign system that when booted builds a normal system? | 12:04 |
| richard_maw | the important difference when cross-bootstrapping is that it doesn't use linux-user-chroot for build isolation, and it installs with DESTDIR=/ | 12:10 |
| pedroalvarez | right | 12:11 |
| pedroalvarez | I will test my glibc patch tomorrow with cross-bootstrap | 12:11 |
| persia | Ah, yes, that is an essential difference, which I expect changes a few things :) | 12:12 |
| *** rdale_ [~quassel@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 12:16 | |
| *** rdale [~quassel@82.70.136.246] has quit [Read error: Connection reset by peer] | 12:16 | |
| *** fay__ [~fay@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 13:30 | |
| *** fay_ [~fay@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Read error: Connection reset by peer] | 13:30 | |
| *** dutch [~william@82.70.136.246] has quit [Ping timeout: 244 seconds] | 14:01 | |
| *** genii [~quassel@ubuntu/member/genii] has joined #baserock | 14:10 | |
| *** CTtpollard [~tom@82.70.136.246] has quit [Ping timeout: 244 seconds] | 14:14 | |
| *** dutch [~william@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 14:23 | |
| *** dutch [~william@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Ping timeout: 272 seconds] | 15:04 | |
| *** CTtpollard [~tom@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 15:08 | |
| *** dutch [~william@82-70-136-246.dsl.in-addr.zen.co.uk] has joined #baserock | 15:09 | |
| * straycat was quite surprised gentoo folks didn't turn up here after that post on lwn | 15:53 | |
| straycat | We seem to be solving the problem they want to solve. | 15:54 |
| pedroalvarez | straycat: caon you point me to that post? | 15:56 |
| straycat | https://lwn.net/Articles/612975/ | 15:57 |
| *** dutch [~william@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Quit: Quit] | 16:00 | |
| pedroalvarez | SotK: nice patch | 16:13 |
| wikicat | Wiki change: Add notes of meeting held at Codethink http://source.baserock.branchable.com/?p=source.git;a=commitdiff;h=82ef0c1 | 16:22 |
| radiofree | straycat: might it be useful to have the bot also link to the wiki page? | 16:26 |
| *** jonathanmaw [~jonathanm@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Quit: Leaving] | 16:26 | |
| *** ssam2 [~ssam2@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Quit: Leaving] | 16:32 | |
| *** tiagogomes [~tiagogome@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Quit: Leaving] | 16:34 | |
| straycat | maybe | 16:34 |
| pedroalvarez | hm.. but if the commit changes more than one page... | 16:38 |
| pedroalvarez | I like how wikica.t works right now | 16:38 |
| * persia also: in addition to showing the quick change, it encourages folk to use git to deal with the wiki, leading to better logs as the practice is socialised, etc. | 16:45 | |
| *** logger_ [~ubuntu@85.199.252.110] has joined #baserock | 16:52 | |
| pedroalvarez | http://85.199.252.110/ | 17:01 |
| pedroalvarez | ha! | 17:01 |
| pedroalvarez | let's see if it's alive or not | 17:01 |
| persia | pedroalvarez: Nice! | 17:02 |
| * persia was thinking to look at that this evening, and has been entirely outclassed :) | 17:02 | |
| pedroalvarez | irssi + irclog2html + 20 miniutes | 17:02 |
| pedroalvarez | and a cron job | 17:02 |
| radiofree | pedroalvarez: you should update the channel topic to inform people this channel is logged, and the location of the logs | 17:03 |
| persia | We really need to get API access to the baserock.org DNS: there's more and more cool services that are hard to discover. | 17:03 |
| * persia agrees with radiofree | 17:03 | |
| * pedroalvarez has to leave right now | 17:03 | |
| radiofree | also, i believe it is (was?) part of the freenode philosophy to provide a way to have what you say not logged | 17:03 |
| jmacs | radiofree: I think you're right | 17:03 |
| persia | Most of the channels I use on freenode are logged. | 17:04 |
| radiofree | i don't think there's any issue with logging, as long as you tell people you're logging | 17:05 |
| *** mSher [~mike@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Quit: Leaving] | 17:05 | |
| radiofree | " Be sure to provide a way for users to make comments without logging " | 17:05 |
| radiofree | it's not a hard rule though | 17:05 |
| jmacs | Most channels I use on freenode are logged by people privately, but it's considered rude to publish those logs | 17:05 |
| jmacs | I don't think I could find any written statement to back this up last time I looked though. | 17:06 |
| radiofree | yes i'm talking about published logs | 17:06 |
| radiofree | https://freenode.net/channel_guidelines.shtml | 17:06 |
| radiofree | at the bottom of the page | 17:06 |
| jmacs | Ah, cool | 17:09 |
| pedroalvarez | What do I have to do then? | 17:11 |
| pedroalvarez | Seems like the cronjob is not working anyway | 17:12 |
| persia | pedroalvarez: Be sure that there is a logs announcement in the /topic | 17:12 |
| persia | I'm less certain about the way to provide users with a way to make comments without logging: that's something that wasn't done at all in other communities where IRC was a prevalent topic (except perhaps via /query) | 17:14 |
| radiofree | yeah we can probably pass on that one | 17:15 |
| straycat | make another channel that's not logged | 17:15 |
| persia | #baserock-chatter ? | 17:15 |
| straycat | I guess, though given the size of this channel at present, it probably doesn't matter. | 17:16 |
| persia | Agreed. I mostly wanted logs because sometimes my bot hiccoughs. | 17:17 |
| *** rdale_ [~quassel@82-70-136-246.dsl.in-addr.zen.co.uk] has quit [Ping timeout: 250 seconds] | 17:47 | |
| *** genii [~quassel@ubuntu/member/genii] has quit [Read error: Connection reset by peer] | 22:56 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!