bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-03-17 Thread Ludovic Courtès
Hi zimoun, Pushed something like the initial patch + index entries as 0571aa7abf262f617add727ac03e3bf63d41ae6d. Thank you! Ludo’.

bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-03-15 Thread zimoun
Hi Ludo, On Sun, 14 Mar 2021 at 11:56, Ludovic Courtès wrote: > diff --git a/doc/guix.texi b/doc/guix.texi > index 4cf241c56a..00bd087628 100644 > --- a/doc/guix.texi > +++ b/doc/guix.texi > @@ -2751,7 +2751,10 @@ you can go ahead and install it (run this command as a > regular user, > guix

bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-03-14 Thread Ludovic Courtès
Hello, zimoun skribis: > Effectively, profiles is not explicitly defined but implicitly, for > instance: > > > > Otherwise, the most explicit definition is in the Cookbook: > > Guix provides a very useful feature that may be

bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-03-01 Thread zimoun
Hi Tobias, On Sat, 27 Feb 2021 at 00:30, Tobias Geerinckx-Rice via Bug reports for GNU Guix wrote: > Out of curiosity: how do you intuitively understand profiles, as > someone who's used Guix for a while? Effectively, profiles is not explicitly defined but implicitly, for instance:

bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-03-01 Thread Ludovic Courtès
Hi, Tobias Geerinckx-Rice via Bug reports for GNU Guix skribis: > I think that would be very helpful. I'm trying to think of a concise, > correct, but actually useful definition of profiles for someone not > already familiar with them or Guix. > > Out of curiosity: how do you intuitively

bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-02-27 Thread Luis Felipe via Bug reports for GNU Guix
On Friday, February 26, 2021 11:30 PM, Tobias Geerinckx-Rice wrote: > Luis Felipe, > > I think that would be very helpful. I'm trying to think of a concise, > correct, but actually useful definition of profiles for someone not already > familiar with them or Guix. > > Out of curiosity: how do

bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-02-26 Thread Tobias Geerinckx-Rice via Bug reports for GNU Guix
Luis Felipe, I think that would be very helpful. I'm trying to think of a concise, correct, but actually useful definition of profiles for someone not already familiar with them or Guix. Out of curiosity: how do you intuitively understand profiles, as someone who's used Guix for a while?

bug#46803: User manual does not explain Profiles (nor GUIX_PROFILE)

2021-02-26 Thread Luis Felipe via Bug reports for GNU Guix
The Guix reference manual does not seem to explain what profiles are. ## Steps to reproduce Assuming you are browsing the Guix reference manual in Info: 1. Type i (to search for an index topic). 2. Type the word profile and hit Enter. 3. Type , repeatedly to explore all the parts of the manual