Re: Multiple profiles with Guix Home

2022-05-27 Thread Liliana Marie Prikler
Hi, Am Freitag, dem 27.05.2022 um 15:52 +0300 schrieb and...@trop.in: > On 2022-05-26 01:36, Liliana Marie Prikler wrote: > > > [...] > > I can't see it anywhere in the code for Guix Home, so I > > assume generations are currently littered into the user home.  The > > specific choice of moving ~/

Re: Multiple profiles with Guix Home

2022-05-27 Thread andrew
On 2022-05-26 01:36, Liliana Marie Prikler wrote: > Hi, > > Am Mittwoch, dem 25.05.2022 um 14:01 +0300 schrieb Andrew Tropin: >> On 2022-05-24 20:31, Liliana Marie Prikler wrote: >> >> > Hi, >> > >> > Am Dienstag, dem 24.05.2022 um 14:55 +0300 schrieb Andrew Tropin: >> > >> > > On 2022-05-23 19

Re: Multiple profiles with Guix Home

2022-05-25 Thread Liliana Marie Prikler
Hi, Am Mittwoch, dem 25.05.2022 um 14:01 +0300 schrieb Andrew Tropin: > On 2022-05-24 20:31, Liliana Marie Prikler wrote: > > > Hi, > > > > Am Dienstag, dem 24.05.2022 um 14:55 +0300 schrieb Andrew Tropin: > > > > > On 2022-05-23 19:05, Liliana Marie Prikler wrote: > > > > [...] > > > > I don't

Re: Multiple profiles with Guix Home

2022-05-25 Thread Andrew Tropin
On 2022-05-24 20:31, Liliana Marie Prikler wrote: > Hi, > > Am Dienstag, dem 24.05.2022 um 14:55 +0300 schrieb Andrew Tropin: >> On 2022-05-23 19:05, Liliana Marie Prikler wrote: >> > [...] >> > I don't think I agree with this choice.  To satisfy both my own use >> > case of serving profiles in di

Re: Multiple profiles with Guix Home

2022-05-24 Thread Liliana Marie Prikler
Hi, Am Dienstag, dem 24.05.2022 um 14:55 +0300 schrieb Andrew Tropin: > On 2022-05-23 19:05, Liliana Marie Prikler wrote: > > [...] > > I don't think I agree with this choice.  To satisfy both my own use > > case of serving profiles in different locations from another and > > another issue being r

Re: Multiple profiles with Guix Home

2022-05-24 Thread Andrew Tropin
On 2022-05-23 19:05, Liliana Marie Prikler wrote: > Hi, > > Am Montag, dem 23.05.2022 um 16:14 +0300 schrieb Andrew Tropin: >> The discussion seems too heated and bloated, it's hard to reasonably >> address arguments mentioned around, so I'll just post some thoughts >> and a possible way to someho

Re: Multiple profiles with Guix Home

2022-05-23 Thread Liliana Marie Prikler
Hi, Am Montag, dem 23.05.2022 um 16:14 +0300 schrieb Andrew Tropin: > The discussion seems too heated and bloated, it's hard to reasonably > address arguments mentioned around, so I'll just post some thoughts > and a possible way to somehow proceed. > > I suggest to split the bigger idea into sma

Re: Multiple profiles with Guix Home

2022-05-23 Thread Andrew Tropin
On 2021-10-03 12:50, Liliana Marie Prikler wrote: > Hi Guix, > > it's been a while since the discussion of whether or not to collect > multiple profiles into a single directory [1]. This suggestion takes > inspiration from that, but goes a vastly different route. Instead of > using environment v

Re: Multiple profiles with Guix Home

2022-05-07 Thread Ludovic Courtès
Liliana Marie Prikler skribis: > 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 >>

Re: Multiple profiles with Guix Home

2022-05-07 Thread Maxime Devos
> > It is a clear thematic division to me. Though it's a bit large, > > maybe 'applications' could be divided futher in more specific > themes > > (‘office’ apps, games, terminal utilities, ...). > Yeah, that division makes more sense, but note that none of the > categories you cited call specific

Re: Multiple profiles with Guix Home

2022-05-06 Thread Liliana Marie Prikler
Am Freitag, dem 06.05.2022 um 21:54 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op vr 06-05-2022 om 20:40 [+0200]: > > Note that 'applications' is not really a useful category. > > It is a clear thematic division to me.  Though it's a bit large, > maybe 'applications' could be divi

Re: Multiple profiles with Guix Home

2022-05-06 Thread Maxime Devos
Liliana Marie Prikler schreef op vr 06-05-2022 om 20:40 [+0200]: > Note that 'applications' is not really a useful category. It is a clear thematic division to me. Though it's a bit large, maybe 'applications' could be divided futher in more specific themes (‘office’ apps, games, terminal utiliti

Re: Multiple profiles with Guix Home

2022-05-06 Thread Liliana Marie Prikler
Am Donnerstag, dem 05.05.2022 um 22:26 +0200 schrieb Maxime Devos: > 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

Re: Multiple profiles with Guix Home

2022-05-05 Thread Liliana Marie Prikler
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: Multiple profiles with Guix Home

2022-05-05 Thread zimoun
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

2022-05-05 Thread Maxime Devos
> [...]> 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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread zimoun
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread 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 profiles using Guix Home, kthxbye. Debating things is a one-time cost, wher

Re: Multiple profiles with Guix Home

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread zimoun
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread 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 emacs packages, in which case only emacs packages are added > into the union

Re: Multiple profiles with Guix Home

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread 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 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

2022-05-05 Thread 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 building) can be implemented more > > generally (not Guix Home-exclusive), with

Re: Multiple profiles with Guix Home

2022-05-05 Thread Maxime Devos
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread Liliana Marie Prikler
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

2022-05-05 Thread Liliana Marie Prikler
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: Multiple profiles with Guix Home

2022-05-05 Thread 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. > > > > ... but separate profiles = separate manifests (except when using > > "guix install")

Re: Multiple profiles with Guix Home

2022-05-05 Thread 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 that there are people, like myself, who *want* to split them. I am not deba

Re: Multiple profiles with Guix Home

2022-05-05 Thread 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 locations.  It also creates a shell startup script that > loads those profile

Re: Multiple profiles with Guix Home

2022-05-05 Thread Andrew Tropin
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

Re: Multiple profiles with Guix Home

2022-05-04 Thread Liliana Marie Prikler
Am Mittwoch, dem 04.05.2022 um 22:41 +0200 schrieb Maxime Devos: > > > I personally have my Guix profile already split > > 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 m

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
Liliana Marie Prikler schreef op wo 04-05-2022 om 20:38 [+0200]: > Am Mittwoch, dem 04.05.2022 um 09:01 +0200 schrieb Maxime Devos: > > I have seen that blog post.  I do use profiles, albeit with "guix > > environment" and now "guix shell".  But I have not yet seen any > > reasons for profile _spli

Re: Multiple profiles with Guix Home

2022-05-04 Thread Liliana Marie Prikler
Am Mittwoch, dem 04.05.2022 um 09:01 +0200 schrieb Maxime Devos: > I have seen that blog post.  I do use profiles, albeit with "guix > environment" and now "guix shell".  But I have not yet seen any > reasons for profile _splitting_.   That's nice for you, but don't take that to mean that no one ha

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
zimoun schreef op wo 04-05-2022 om 20:14 [+0200]: > Well, I miss two things: for one, ’guix shell’ creates a temporary > profile and thus not protected from GC so it can be boring to create > again and again the same profile depending on the frequency you are > working on the project vs the frequen

Re: Multiple profiles with Guix Home

2022-05-04 Thread zimoun
Hi, On Wed, 04 May 2022 at 15:46, Maxime Devos wrote: > That's a use case, but this appears to be already implemented by "guix > shell [-m manifest.scm]"? Though I suppose there's a use case for > putting the manifests outside the project source code ... Well, I miss two things: for one, ’guix

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
Reza Housseini schreef op wo 04-05-2022 om 15:15 [+0200]: > A specific use case for profile splitting I see very useful, is e.g. > having a profile with all your editor and plugin dependencies and > your > project specific dependencies. So if you work on a specific project > you > can merge the

Re: Multiple profiles with Guix Home

2022-05-04 Thread Reza Housseini
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. Even then, I'm not sure what these thematic profiles are s

Re: Multiple profiles with Guix Home

2022-05-04 Thread Andrew Tropin
On 2022-05-03 20:34, Liliana Marie Prikler wrote: > Am Dienstag, dem 03.05.2022 um 17:13 +0300 schrieb Andrew Tropin: >> On 2021-10-03 12:50, Liliana Marie Prikler wrote: >> >> > Hi Guix, >> > >> > it's been a while since the discussion of whether or not to collect >> > multiple profiles into a

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
Liliana Marie Prikler schreef op wo 04-05-2022 om 06:23 [+0200]: > Am Dienstag, dem 03.05.2022 um 23:11 +0200 schrieb Maxime Devos: > > Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > > > That's why I say the long-term goal is evaluating search paths over > > > multiple profiles.

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
Maxime Devos schreef op di 03-05-2022 om 22:44 [+0200]: > Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > > > Also, why would the user need to split things, couldn't Guix do > > > that > > > automatically? > > Oh, sure, I'll just train a machine learning model to partition > > pa

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
Maxime Devos schreef op wo 04-05-2022 om 09:01 [+0200]: > But I have not yet seen any reasons > for profile _splitting_. TBC, I mean splitting into seperate profiles in $GUIX_EXTRA_PROFILES here, not "guix shell"/manifest.scm-style separate profiles. Greetings, Maxime. signature.asc Description

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
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. > > Even then, I'm not sure what these thematic profiles are supposed > > to > > solve

Re: Multiple profiles with Guix Home

2022-05-04 Thread Maxime Devos
Liliana Marie Prikler schreef op wo 04-05-2022 om 06:23 [+0200]: > > Also, this sounds like adding a new feature (multiple profiles for > > Guix Home) at cost of an extra (known) bug (these multiple profiles > > don't share search paths). > Hyrum's Law might also come in play here. ... how can an

Re: Multiple profiles with Guix Home

2022-05-03 Thread Liliana Marie Prikler
Am Dienstag, dem 03.05.2022 um 23:11 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > > That's why I say the long-term goal is evaluating search paths over > > multiple profiles.  However, given that Guix Home is currently a > > technological preview

Re: Multiple profiles with Guix Home

2022-05-03 Thread Liliana Marie Prikler
Am Dienstag, dem 03.05.2022 um 22:59 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > > > > but the fact that they need to code up their own shell wrappers > > > > to manage multiple profiles is not good optics imo. > > > They don't have to code up sh

Re: Multiple profiles with Guix Home

2022-05-03 Thread Maxime Devos
Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > > > but the fact that they need to code up their own shell wrappers > > > to > > > manage multiple profiles is not good optics imo. > > > > They don't have to code up shell wrappers or split profiles.  They > > can just use a singl

Re: Multiple profiles with Guix Home

2022-05-03 Thread Maxime Devos
Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > > > [...].  If you do split your home in multiple > > > profiles however, you will benefit from faster union builds, > > > which > > > themselves have quadratic complexity as a lower bound. > > > > Instead of working around quadrat

Re: Multiple profiles with Guix Home

2022-05-03 Thread Maxime Devos
Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > > Also, why would the user need to split things, couldn't Guix do > > that > > automatically? > Oh, sure, I'll just train a machine learning model to partition > packages into profiles.  This will obviously be better than a human >

Re: Multiple profiles with Guix Home

2022-05-03 Thread Maxime Devos
Liliana Marie Prikler schreef op di 03-05-2022 om 22:04 [+0200]: > That's why I say the long-term goal is evaluating search paths over > multiple profiles.  However, given that Guix Home is currently a > technological preview and given on top that multiple profile support is > "write your own shell

Re: Multiple profiles with Guix Home

2022-05-03 Thread Liliana Marie Prikler
Am Dienstag, dem 03.05.2022 um 21:13 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op di 03-05-2022 om 20:34 [+0200]: > > > Also, cross-profile package installation can be error-prone, for > > > example if user install an emacs in main profile and emacs > > > packages in emacsy profil

Re: Multiple profiles with Guix Home

2022-05-03 Thread Maxime Devos
Liliana Marie Prikler schreef op di 03-05-2022 om 20:34 [+0200]: > > Also, cross-profile package installation can be error-prone, for > > example if user install an emacs in main profile and emacs packages > > in emacsy profile we will end up in a situation, where those emacs > > package aren't ava

Re: Multiple profiles with Guix Home

2022-05-03 Thread Liliana Marie Prikler
Am Dienstag, dem 03.05.2022 um 17:13 +0300 schrieb Andrew Tropin: > On 2021-10-03 12:50, Liliana Marie Prikler wrote: > > > Hi Guix, > > > > it's been a while since the discussion of whether or not to collect > > multiple profiles into a single directory [1].  This suggestion > > takes inspiratio

Re: Multiple profiles with Guix Home

2022-05-03 Thread Andrew Tropin
On 2021-10-03 12:50, Liliana Marie Prikler wrote: > Hi Guix, > > it's been a while since the discussion of whether or not to collect > multiple profiles into a single directory [1]. This suggestion takes > inspiration from that, but goes a vastly different route. Instead of > using environment v

Fwd: Re: Multiple profiles with Guix Home

2021-11-15 Thread Liliana Marie Prikler
--- Begin Message --- Bonjour Olivier, Am Sonntag, den 14.11.2021, 08:19 + schrieb Olivier Rojon: > I'm not sure if this belongs to guix-devel or the guix issue tracker, > but I was unable to make multiple profiles work with guix home. Is that the reason why you posted it to neither? Since

Re: Multiple profiles with Guix Home

2021-10-04 Thread Liliana Marie Prikler
Hi, Am Montag, den 04.10.2021, 09:17 +0200 schrieb zimoun: > Hi, > > On Sun, 03 Oct 2021 at 12:50, Liliana Marie Prikler < > liliana.prik...@gmail.com> wrote: > > > it's been a while since the discussion of whether or not to collect > > multiple profiles into a single directory [1]. This sugges

Re: Multiple profiles with Guix Home

2021-10-04 Thread zimoun
Hi, On Sun, 03 Oct 2021 at 12:50, Liliana Marie Prikler wrote: > it's been a while since the discussion of whether or not to collect > multiple profiles into a single directory [1]. This suggestion takes > inspiration from that, but goes a vastly different route. Instead of > using environmen

Re: Multiple profiles with Guix Home

2021-10-03 Thread John Kehayias
Hello Liliana and Guix-ers, I like this idea as a more integrated way of using multiple profiles in Guix, which I think is a unique and powerful feature of Guix. Having more first class citizen support of profiles I think is long overdue. Thanks for the proposal! I'm curious about what else we