Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 23:28 +0200 schrieb Maxime Devos: > > > Having to debate the semantics of a 2.5 year old blog posts should > > not be necessary in any > I don't think the semantics of > was > debated anywhere here?  Were

Re: Updating mumi on berlin

Hello, zimoun writes: > On Wed, 04 May 2022 at 21:49, Kyle Meyer wrote: > >> I've tried sit down and update Guix's public-inbox definition a few >> times, but there are various test failures that I didn't figure out how >> to handle in the time I had. (IIRC, I think they're related to the le

Re: Updating mumi on berlin

Hello, Maxim Cournoyer writes: > Hi, > > Thiago Jung Bauermann writes: > > [...] > >>> (IIRC, I think they're related to the lei tests expecting to be able >>> to kill the lei-daemon process, which isn't the case in Guix's build >>> environment.) >> >> Yes, that's what I'm seeing as well. The

public-inbox v1.7 update (was: Updating mumi on berlin)

zimoun writes: > …why not just disable the specific test or if not possible, turn off the > test suite ’#:tests? #f’. Whereas it is not the best, it would allow to > have ’lei’ while waiting the fix at the Guix build environment level. > > WDYT? public-inbox has a good test suite, so it'd be nic

Re: Multiple profiles with Guix Home

On Thu, 05 May 2022 at 21:44, Maxime Devos wrote: >> Again, k(n log n) <= nk log nk, for k >= 1. > > Logarithms are mostly neglible though in practice? > And > > kn log nk = kn log n + kn log k ≅ kn log n > > for small 'log k'. >From a practical point of view, 1. this complexity of O(n log

Re: Multiple profiles with Guix Home

> [...]> I did, but I assumed that people are already aware of multiple > profile workflows and the pains associated with them. I am, though in my case profile="guix shell", not "guix package -p". > Having to debate the semantics of a 2.5 year old blog posts should > not be necessary in any I d

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 22:13 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 21:08 [+0200]: > > And you're not taking into account my time cost of debating you > > when I already have manifests split across many files that I want > > to manage as separate p

Re: Multiple profiles with Guix Home

On Thu, 05 May 2022 at 21:08, Liliana Marie Prikler wrote: > Am Donnerstag, dem 05.05.2022 um 20:00 +0200 schrieb Maxime Devos: > >> That's one method for faster builds, but you'll get even faster >> builds by also making union-build O(n lg n) instead of O(n²), and the >> latter optimisation wi

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 22:27 [+0200]: > Am Donnerstag, dem 05.05.2022 um 22:14 +0200 schrieb Maxime Devos: > > Liliana Marie Prikler schreef op do 05-05-2022 om 20:24 [+0200]: > > > > GUIX_LOCPATH [note: I corrected this now] > > > Does this affect applications other than

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 22:27 [+0200]: > and afaik does not have anything to > do with other i18n, It is needed to get UTF-8 file name decoding in Guile, IIUC. Greetings, Maxime. signature.asc Description: This is a digitally signed message part

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 22:14 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 20:24 [+0200]: > > > GUIX_LOCPATH [note: I corrected this now] > > Does this affect applications other than Guix itself? > > Yes, every glibc-using package.  It's where glibc look

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 20:24 [+0200]: > > This doesn't work for SSL_CERT_DIR/SSL_CERT_FILE > nss-certs can be installed to their own profile and referenced from > there No, if it is installed in its own profile, then SSL_CERT_DIR/SSL_CERT_FILE won't be set: * Put nss-ce

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 21:42 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 21:17 [+0200]: > > And would you look at this, my proposed solution would make > > ~/.guix-home a profile that can be managed by `guix package' > > I do not see this in the propos

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 20:24 [+0200]: > > GUIX_LOCALEPATH > Does this affect applications other than Guix itself? Yes, every glibc-using package. It's where glibc looks for glibc locales. Greetings, Maxime. signature.asc Description: This is a digitally signed messag

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 21:08 [+0200]: > And you're not taking into account my time cost of debating you when I > already have manifests split across many files that I want to manage as > separate profiles using Guix Home, kthxbye. Debating things is a one-time cost, wher

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 21:08 [+0200]: > > And the O(n)=O(1) doesn't seem quite right here to me -- individual > > profiles will be smaller and hence faster, but there will also be > > _more_ profiles.  Maybe if you sum over the profiles, you'll get to > > O(n) instead of

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 19:41 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 19:27 [+0200]: > > We're not talking about the same kind of profile management here.  > > By profile management I mean creating, updating, modifying and > > deleting a profile that

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 21:17 [+0200]: > Am Donnerstag, dem 05.05.2022 um 19:41 +0200 schrieb Maxime Devos: > > Liliana Marie Prikler schreef op do 05-05-2022 om 19:27 [+0200]: > > > We're not talking about the same kind of profile management here.  > > > By profile manage

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 20:00 +0200 schrieb Maxime Devos: > That's one method for faster builds, but you'll get even faster > builds by also making union-build O(n lg n) instead of O(n²), and the > latter optimisation will help everyone and not only Guix Home users. If that's what you want

Re: Multiple profiles with Guix Home

On Thu, 05 May 2022 at 18:31, Liliana Marie Prikler wrote: > For small n, > O(n) = O(1). I guess, you meant that, for small n, the time of O(n) is dominated by the constant. Note that, obviously, the real time depends also on the consta

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 19:29 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 19:19 [+0200]: > > My assumption here is that the split profiles are still "complete", > > hence thematic profiles.  A thematic profile could for instance > > consist of all your e

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 19:27 [+0200]: > > I'm not sure what you mean here, what cause and what effect are you > > referring to here?  And I'm not sure what the connection between > > ‘for > > small n, O(n) = O(1)’ and the previous sentences is (I guess > > something about

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 19:07 +0200 schrieb Maxime Devos: > Hi, > > Previously, you wrote that people need to write shell wrappers. > > > > [ cross-profile installation things ] > > The solution to that would be evaluating the search paths over all > > enabled packages.  However, I do th

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 19:19 [+0200]: > My assumption here is that the split profiles are still "complete", > hence thematic profiles.  A thematic profile could for instance consist > of all your emacs packages, in which case only emacs packages are added > into the union

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 19:27 [+0200]: > > Multiple profiles can already be managed in a declarative manner: > > "guix shell -m manifest.scm".  I'd say that Guix Home adds some > > impurity (‘guix home reconfigure’ installs/removes/replaces some > > symlinks in $HOME, whic

Re: Multiple profiles with Guix Home

Maxime Devos schreef op do 05-05-2022 om 18:42 [+0200]: > Multiple profiles can already be managed in a declarative manner: > "guix > shell -m manifest.scm". Nevermind, I forgot about > Admittedly, having a disabled profile is not that useful in the > context > of guix shell existing, but there m

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 19:21 [+0200]: > Am Donnerstag, dem 05.05.2022 um 18:33 +0200 schrieb Maxime Devos: > > > Manifests are scheme code, you can put as many of them into a file > > > as you want.  For the interface to Guix commands you have to return > > > one at a tim

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 18:42 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 18:31 [+0200]: > > > I am not debating any legitimacy ( is not some > > > government), I am discussing the reasons, and whether some of the > > > features (e.g. faster profile buil

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 18:33 +0200 schrieb Maxime Devos: > > Manifests are scheme code, you can put as many of them into a file > > as you want.  For the interface to Guix commands you have to return > > one at a time, sure, but that's not the limitation you think it is. > > Exactly: "gu

Re: Multiple profiles with Guix Home

Hi, Previously, you wrote that people need to write shell wrappers. >> [ cross-profile installation things ] > The solution to that would be evaluating the search paths over all > enabled packages. However, I do think it's fine to do as we did > before for now; people are already used to this as

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 18:31 [+0200]: > > I am not debating any legitimacy ( is not some > > government), I am discussing the reasons, and whether some of the > > features (e.g. faster profile building) can be implemented more > > generally (not Guix Home-exclusive), with

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 18:24 [+0200]: > Am Donnerstag, dem 05.05.2022 um 12:53 +0200 schrieb Maxime Devos: > > Liliana Marie Prikler schreef op do 05-05-2022 om 06:25 [+0200]: > > > > > across several manifests, that could easily fit into separate > > > > > profiles if Gu

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 12:53 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 06:25 [+0200]: > > > > across several manifests, that could easily fit into separate > > > > profiles if Guix didn't make working with those an absolute > > > > pain. > > > > > >

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 13:03 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 06:25 [+0200]: > > You are still debating the legitimacy of splitting ~/.guix-profile > > and I don't want to entertain that discussion longer than it's > > worth.  Just trust me t

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 13:05 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op zo 03-10-2021 om 12:50 [+0200]: > > On init/reconfigure, `guix home' creates/updates all home-profiles > > which have a home-profile-manifest that is not #f and links them to > > the appropriate lo

Re: Updating mumi on berlin

Hi, Thiago Jung Bauermann writes: [...] >> (IIRC, I think they're related to the lei tests expecting to be able >> to kill the lei-daemon process, which isn't the case in Guix's build >> environment.) > > Yes, that's what I'm seeing as well. The lei-daemon process is actually > killed, but beca

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 06:25 [+0200]: > > > across several manifests, that could easily fit into separate > > > profiles if Guix didn't make working with those an absolute pain. > > > > ... but separate profiles = separate manifests (except when using > > "guix install")

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 06:25 [+0200]: > You are still debating the legitimacy of splitting ~/.guix-profile and > I don't want to entertain that discussion longer than it's worth.  Just > trust me that there are people, like myself, who *want* to split them. I am not deba

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op zo 03-10-2021 om 12:50 [+0200]: > On init/reconfigure, `guix home' creates/updates all home-profiles > which have a home-profile-manifest that is not #f and links them to the > appropriate locations.  It also creates a shell startup script that > loads those profile

Re: Updating mumi on berlin

Hi Kyle and Thiago, Reading your both answers… On Wed, 04 May 2022 at 21:49, Kyle Meyer wrote: > I've tried sit down and update Guix's public-inbox definition a few > times, but there are various test failures that I didn't figure out how > to handle in the time I had. (IIRC, I think they're r

Re: Multiple profiles with Guix Home

On 2022-05-04 15:15, Reza Housseini wrote: > On 5/4/22 09:01, Maxime Devos wrote: >> Liliana Marie Prikler schreef op wo 04-05-2022 om 06:16 [+0200]: Until the previous mail, I have not seen anything about thematic profiles, so I did not have thematic profiles in mind in my response