| *** edcragg has quit IRC | 00:09 | |
| *** locallycompact has joined #baserock | 01:08 | |
| *** locallycompact has quit IRC | 01:36 | |
| *** locallycompact has joined #baserock | 01:37 | |
| *** locallycompact has quit IRC | 02:04 | |
| *** locallycompact has joined #baserock | 02:05 | |
| *** locallycompact has quit IRC | 02:10 | |
| *** tlsa_ has joined #baserock | 02:18 | |
| *** SotK_ has joined #baserock | 02:18 | |
| *** tlsa has quit IRC | 02:19 | |
| *** SotK has quit IRC | 02:19 | |
| *** bwh has quit IRC | 02:19 | |
| *** bwh has joined #baserock | 02:19 | |
| *** gtristan has quit IRC | 02:32 | |
| *** locallycompact has joined #baserock | 07:44 | |
| *** locallycompact has quit IRC | 07:52 | |
| straycat | can we set up mason to build the devel system? if there's a release then folks should just be able to pull down all the artifacts for a system | 09:41 |
|---|---|---|
| straycat | pedroalvarez, around? | 10:41 |
| pedroalvarez | Kind of | 10:44 |
| pedroalvarez | (phone) | 10:44 |
| pedroalvarez | Just switched them back to build ci.morph | 10:44 |
| straycat | okay well i think we need https://gerrit.baserock.org/1480 to fix mason | 10:45 |
| pedroalvarez | I tried to upgrade morph on them before reading your request, and everything fails... | 10:45 |
| pedroalvarez | Right, that fixes the error | 10:47 |
| pedroalvarez | That will break mason with current version of morph | 10:47 |
| straycat | okay, i'd assumed mason had upgraded itself at this point | 10:48 |
| pedroalvarez | And that was true, but I will wait until it builds at least the devel system | 10:49 |
| straycat | okay that sounds good | 10:49 |
| * richard_maw has been fiddling with build sandboxing again | 10:50 | |
| richard_maw | I've got safe, rapid git cloning | 10:51 |
| straycat | cool :) | 10:52 |
| richard_maw | by cloning with --shared, and then bind-mounting the objects tree into the chroot and making a new objects/info/alternates file to use the bind-mounted tree | 10:53 |
| richard_maw | next up is looking at using sandboxlib, then artifact caches | 10:54 |
| straycat | i didn't know about --shared, that's neat | 10:54 |
| richard_maw | yeah, if you can trust it, then it's great | 10:55 |
| richard_maw | the reason why I spent so long on gitcache, was that I needed to make --shared safe | 10:56 |
| richard_maw | so there's file locking to prevent you breaking the repository if you use the api | 10:58 |
| straycat | sounds good :) | 10:59 |
| richard_maw | the git worktree stuff has a more clever implementation for the subset of the problem that we share | 11:01 |
| richard_maw | but it's not exposed at that level | 11:02 |
| richard_maw | and requires a very new version of git | 11:03 |
| richard_maw | but I had to patch linux-user-chroot to support bind-mounting files from the host in | 11:04 |
| straycat | multiple worktrees share the same set of objects though? so you can't break the repo by removing an object that's still referenced by the other repo? | 11:04 |
| straycat | (so i don't see what the subset is) | 11:18 |
| richard_maw | we both have the problem of needing to know what is in use from other repositories | 11:28 |
| * pedroalvarez fears tools that depend on forks of other tools | 11:28 | |
| richard_maw | yeah, I'm going to submit my luc patch when I get around to it | 11:29 |
| straycat | richard_maw, oh okay, i thought worktrees were just copies | 11:30 |
| richard_maw | worktrees are clever, assigning a different index, head and checkout to the same refs namespace, I need independent ref namespaces, and each to act as completely separate repositories, rather than a shared view of the same repository | 11:33 |
| straycat | okay, so in the case of worktrees it's what's in use from other worktrees, rather than other repos | 11:39 |
| richard_maw | yes, there's a lot of common behaviour, but unfortunately there is a key difference that makes sharing code difficult | 11:53 |
| *** tlsa_ is now known as tlsa | 12:04 | |
| *** tlsa has quit IRC | 12:09 | |
| *** wdutch has quit IRC | 17:44 | |
| *** wdutch has joined #baserock | 17:45 | |
| *** jjardon has quit IRC | 17:45 | |
| *** jjardon has joined #baserock | 17:49 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!