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

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

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

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

Re: Updating mumi on berlin

2022-05-03 Thread Thiago Jung Bauermann
Hello zimoun, zimoun writes: > Instead of subscription, public-inbox provides the archives as a Git > repo. Therefore, being up to date just becomes “guix pull” and the Git > repo can be transformed to Maildir using e.g., > > $git rev-list | while read sha; do > $git show $sha:m >

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

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

Guix System on RockPro64

2022-05-03 Thread Tobias Platen
Hello, I had a look at the guix page, there is a latest version image for the PineBook Pro, which uses the same SoC. Unfortunately I was unable to find the reciepe to build that image. The guix page is currently down, I will try again tomorrow. Today I was able to install guix on top of Debian

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

Re: ‘staging’ branch is open!

2022-05-03 Thread Maxim Cournoyer
Hi, Ludovic Courtès writes: > Hi! > > The ‘staging’ branch is open! Which means that changes with “between > 300 and 1,800 rebuilds” (info "(guix) Submitting Patches") can go there; > now’s the time to (re)send package updates in that ballpark. Just to be clear, it was never closed :-). >

Re: Mumi, public-inbox and tools

2022-05-03 Thread Arun Isaac
Hi zimoun, > WDYT? What is missing to bridge the current features of Mumi via > issues.guix.gnu.org, mumi indexes the full text and selected headers (the date, for example) of every email it receives. But, I don't know if it indexes the Message-ID header. If it does, then referring to emails

Re: Debbugs usertags with Mumi or Emacs (was: Assisting reviewing & committing with tags?)

2022-05-03 Thread Arun Isaac
Hi zimoun, >> This is a great idea. I guess we will need to adjust the software that >> runs issues.guix.gnu.org to make use of it, but in the meantime you >> should keep using this tag. Thanks! > > Indeed, Mumi does not expose such user tags. Well, it could be very > useful if such tags would

Re: Updating mumi on berlin

2022-05-03 Thread Arun Isaac
Hi zimoun, > Is the update of Mumi done? Mumi has been patched with a proof-of-concept GraphQL API. See https://git.elephly.net/gitweb.cgi?p=software/mumi.git;a=commit;h=f5232c49fe8a3b127c96f7b502775f16aebf3033 But, I don't know if mumi has been reconfigured on berlin yet. Still waiting on

Re: Debbugs usertags with Mumi or Emacs (was: Assisting reviewing & committing with tags?)

2022-05-03 Thread Maxime Devos
zimoun schreef op di 03-05-2022 om 13:03 [+0200]: > then select the line, say «guix  reviewed-looks-good», and I get > all the submissions, even the closed ones.  And I do not find a way to > filter only the still ones.  How do other Emacs users do? Something to keep in mind: I've been

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

Re: Let’s meet in person in Paris, Sept. 16–18!

2022-05-03 Thread Development of GNU Guix and the GNU System distribution.
On Tue, 03 May 2022, Tobias Platen wrote: > the proposed Guix Deck hardware. Never heard of it. Is there more information on that? -- Olivier Dion oldiob.dev

Debbugs usertags with Mumi or Emacs (was: Assisting reviewing & committing with tags?)

2022-05-03 Thread zimoun
Hi, I am late to the party. :-) On Tue, 11 Jan 2022 at 14:10, Leo Famulari wrote: > This is a great idea. I guess we will need to adjust the software that > runs issues.guix.gnu.org to make use of it, but in the meantime you > should keep using this tag. Thanks! Indeed, Mumi does not expose

Re: see which X11 config is being used

2022-05-03 Thread Théo Maxime Tyburn
Hi Kaelyn, thanks, that helped! I just learned by scrolling the guix-devel archives that log files are conventionaly gathered in /var/log in guix. I wasn’t aware of that. Is it documented somewhere ? Cheers, Théo Kaelyn writes: > --- Original Message --- > On Friday, April 29th, 2022