diff options
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 8b496308d7..f0d773d08e 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -396,24 +396,25 @@ own directory---something that resembles Instead of referring to these directories, users have their own @dfn{profile}, which points to the packages that they actually want to -use. That profile is normally stored in @code{$HOME/.guix-profile}, and -each user has its own profile. +use. These profiles are stored within each user's home directory, at +@code{$HOME/.guix-profile}. -For example, if @code{alice} installed GCC 4.7.2, then +For example, @code{alice} installs GCC 4.7.2. As a result, @file{/home/alice/.guix-profile/bin/gcc} points to -@file{/nix/store/xxx-gcc-4.7.2/bin/gcc}; on the same machine, @code{bob} -may have installed GCC 4.8.0, in which case its profile refers to these -particular package installation. Both coexist, without any -interference. +@file{/nix/store/@dots{}-gcc-4.7.2/bin/gcc}. Now, on the same machine, +@code{bob} had already installed GCC 4.8.0. The profile of @code{bob} +simply continues to point to +@file{/nix/store/@dots{}-gcc-4.8.0/bin/gcc}---i.e., both versions of GCC +coexist on the same system without any interference. The @command{guix-package} command is the central tool to manage -packages. It operates on those per-user profiles, and can be used -@emph{with normal user privileges}. +packages (@pxref{Invoking guix-package}). It operates on those per-user +profiles, and can be used @emph{with normal user privileges}. The command provides the obvious install, remove, and upgrade operations. Each invocation is actually a @emph{transaction}: either the specified operation succeeds, or nothing happens. Thus, if the -@command{guix-package} processed is terminated during the transaction, +@command{guix-package} process is terminated during the transaction, or if a power outage occurs during the transaction, then the user's profile remains in its previous state, and remains usable. |