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
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
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
Hi,
On Tue, 03 May 2022 at 17:42, Thiago Jung Bauermann
wrote:
> 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 r
Hi Arun,
On Tue, 03 May 2022 at 23:20, Arun Isaac wrote:
>> of public-inbox via yhetil.org/guix and the piem glue?
>
> I haven't thought carefully about public-inbox integration. But, if we
> can do everything in mumi, do we need public-inbox at all?
Well, some advantages I see after using a bi
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
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.
Hi,
On Fri, 25 Mar 2022 at 20:18, jgart wrote:
> When will guix master branch see python 3.10 more or less?
Who knows? ;-)
Well, if you have python@3.10 packaged then you could use a
package transformation.
In ’(guix build-system python)’, you have ’package-with-explicit-python’
where you can
Hi,
On Thu, 24 Mar 2022 at 22:56, jgart wrote:
> Just leaving this here as a reminder to work on this soon and to get
> thoughts from the community.
Maybe you could open a bug report to act as such. If you have not done
already.
Cheers,
simon
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
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
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
On 4/5/22 04:53, Tobias Platen wrote:
I had a look at the guix page, there is a latest version image for the
PineBook Pro, which uses the same SoC.
The SoC is the same, but the PineBook Pro and RockPro64 have different
u-boot bootloaders: u-boot-rockpro64-rk3399-bootloader and
u-boot-pinebook-p
On 2022-05-04, Tom Fitzhenry wrote:
> On 4/5/22 04:53, Tobias Platen wrote:
>> I had a look at the guix page, there is a latest version image for the
>> PineBook Pro, which uses the same SoC.
> The SoC is the same, but the PineBook Pro and RockPro64 have different
> u-boot bootloaders: u-boot-rock
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
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
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
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
zimoun writes:
> On Tue, 03 May 2022 at 17:42, Thiago Jung Bauermann
> wrote:
[...]
>> Just an aside about public-inbox: Starting with version 0.7 it ships
>> with a ‘lei’ tool that can be used to query a local or remote
>> public-inbox repo, and export the matching messages to a maildir.
>
> Th
On Thu, 5 May 2022, at 2:14 AM, Vagrant Cascadian wrote:
> You could create a "generic" image that supports UEFI or standard u-boot
> methods, and the user can bring-their-own UEFI implementation
> (e.g. tianocore, recent versions of u-boot with EFI) or install u-boot
> or barebox or whatever manua
Kyle Meyer writes:
> zimoun writes:
>
>> On Tue, 03 May 2022 at 17:42, Thiago Jung Bauermann
>> wrote:
> [...]
>>> Just an aside about public-inbox: Starting with version 0.7 it ships
>>> with a ‘lei’ tool that can be used to query a local or remote
>>> public-inbox repo, and export the match
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
On 2022-04-29 11:44, EuAndreh wrote:
> Hi Guix!
>
> When trying to get a clean $HOME, I see that the ~/.guix-home path is fixed in
> the code under gnu/home/*,
> usually via (string-append (getenv "HOME") "/.guix-home").
>
> I want to propose a configurable path to ~/.guix-home, and allow this to
> When trying to get a clean $HOME, I see that the ~/.guix-home path is fixed in
> the code under gnu/home/*,
> usually via (string-append (GETENV "HOME") "/.guix-home").
FWIW, i was also surprised that the default is not something under
~/.config/guix/
--
• attila lendvai
• PGP: 963F 5D5F 45C7
24 matches
Mail list logo
