Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-02-01 Thread Ludovic Courtès
Hi! So I went ahead and pushed this patch series as 15078567c17851ef0f2b017119f305e0d5e8a140. We can always improve from here, and hopefully getting actual user feedback will help us see the pros and cons of this option. Thanks! Ludo’.

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-02-01 Thread Pierre Neidhardt
Ludovic Courtès writes: > Hi, > > Pierre Neidhardt skribis: > >> Ludovic Courtès writes: > > [...] > >>> • The generated files might use APIs that, in the meantime, got >>> deprecated or changed somehow. This is in contrast with >>> ‘--export-profile’, which interprets ‘manifest’ (a

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-02-01 Thread Ludovic Courtès
Hi, Ryan Prior skribis: > I don't think there's much drawback to having both the auto-generated > files and a command that generates them. That seems more discoverable - > you might happen across the files when you poke into a profile, or you > might notice the command while reading the docs or

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-02-01 Thread Ludovic Courtès
Hi, Pierre Neidhardt skribis: > Ludovic Courtès writes: [...] >> • The generated files might use APIs that, in the meantime, got >> deprecated or changed somehow. This is in contrast with >> ‘--export-profile’, which interprets ‘manifest’ (a versioned file >> format) and produc

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-30 Thread Ryan Prior
On January 30, 2021, "Ludovic Courtès" wrote: > Actually, part of the code would be shared anyway, so we could always > go > with ‘--export-manifest’ first and think about adding the extra files > later. (Though I’m still unsure about these extra files, TBH.) I do like the extra files. It feels c

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-30 Thread Ludovic Courtès
Hi, zimoun skribis: > Yes, but it needs a lot of re-work and change, IMHO. And we ends with 3 > files: $GUIX_PROFILE/manifest capturing the states of $GUIX_PROFILE and > the 2 others deducing an approximation of these states. Well, IMHO, > automatically produce this approximation at each «acti

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-30 Thread zimoun
Hi, On Fri, 29 Jan 2021 at 22:51, Pierre Neidhardt wrote: > Sorry, misunderstanding :) Have a drink together is missing because these times we have communication issues. :-) > I'm proposing: > > 1) Zero command :p > > 2) On every profile modification (install, upgrade, removal), store the > ch

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-30 Thread Ludovic Courtès
Hi Pierre, Pierre Neidhardt skribis: > I just had a cursory look, and my main concern is that maybe exposing > commands is one more thing to learn for the user, and one more step to > run to get a simple file. > > Instead, what about doing what system profiles already do with > > /run/current-

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-29 Thread zimoun
Hi Bengt, On Thu, 28 Jan 2021 at 18:57, Bengt Richter wrote: > Thank you for your tutorial-style and resource-reference-footnoted > posts! Thanks! I am happy if it helps. «Déformation professionnelle»¹ :-) Cheers, simon ¹: French pun with «professional training» and «stretched profession».

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-29 Thread zimoun
Hi Pierre and Ludo, On Fri, 29 Jan 2021 at 18:57, Pierre Neidhardt wrote: > Hi again! > > I just had a cursory look, and my main concern is that maybe exposing > commands is one more thing to learn for the user, and one more step to > run to get a simple file. > > Instead, what about doing what s

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-28 Thread Bengt Richter
Hi zimoun, Thank you for your tutorial-style and resource-reference-footnoted posts! I don't know about others, but I save many on my hard disk as reference examples. I hope this provides positive feedback for your efforts. Thank you. On +2021-01-27 22:02:53 +0100, zimoun wrote: > Hi Ludo, >

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-28 Thread Pierre Neidhardt
Hi Ludo! Ludovic Courtès writes: > Ludovic Courtès skribis: > >> Here’s a simple but oft-requested feature (I remember discussing >> with Pierre and Simon a year ago at the Guix Days about ways to >> implement it—time flies!): these patches provide ‘guix package >> --export-manifest’ and ‘--exp

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-28 Thread Ludovic Courtès
Hi, zimoun skribis: > On Wed, 27 Jan 2021 at 14:14, Ludovic Courtès wrote: >> Ludovic Courtès skribis: >> >>> Here’s a simple but oft-requested feature (I remember discussing >>> with Pierre and Simon a year ago at the Guix Days about ways to >>> implement it—time flies!): these patches provid

Re: [bug#45919] [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-27 Thread zimoun
Hi Ludo, On Wed, 27 Jan 2021 at 14:14, Ludovic Courtès wrote: > Ludovic Courtès skribis: > >> Here’s a simple but oft-requested feature (I remember discussing >> with Pierre and Simon a year ago at the Guix Days about ways to >> implement it—time flies!): these patches provide ‘guix package >> -

Re: bug#45919: [PATCH 0/8] Exporting a manifest and channels from a profile

2021-01-27 Thread Ludovic Courtès
Hi there! Ludovic Courtès skribis: > Here’s a simple but oft-requested feature (I remember discussing > with Pierre and Simon a year ago at the Guix Days about ways to > implement it—time flies!): these patches provide ‘guix package > --export-manifest’ and ‘--export-channels’. These options sp