On Wed, Apr 20, 2016 at 11:46:20AM +0200, Taylan Ulrich Bay??rl??/Kammer wrote: As an example of the pedagogic benefit of categorizing the commands: many users coming from other package managers are confused as to what exactly "installing" a package is in Guix. It actually consists of two steps, 1. to ensure the package is in the store (by building or downloading), and 2. adding it to the user's profile. But the term "install" doesn't reflect this, and makes users think in terms of traditional package managers where installing a package means putting its files into /usr. Introducing newcomers to a command like 'guix profile add' as the primary means of adding a package to their environment, and briefly explaining the "transparently makes sure the package is in the store" part, would have them immediately learn one of the basic working principles of Guix.
I think the last part of your suggestion is what is really important - * explaining to the user what is going on * This is something where I think we can do better. However if "guix profile add" adds a package to a user's profile, what does "guix profile rm" do? Does it remove a package from the profile, or does it remove the profile? J' -- Avoid eavesdropping. Send strong encryted email. PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://sks-keyservers.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature