diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-09-23 12:26:59 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-23 12:26:59 +0200 |
commit | cb3ee1c5070ad3b82491d7ba61fc120910427121 (patch) | |
tree | d861117335ef654b2590a33e5bec9a0eb3238c29 /doc/guix.texi | |
parent | 9338cbdbe04f1e2cacd593e3632a111687ffabf5 (diff) | |
download | guix-cb3ee1c5070ad3b82491d7ba61fc120910427121.tar.gz |
doc: Explain that '--profile' expects a file name.
* doc/guix.texi (Invoking guix package): Explain that the argument to --profile is a file name.
Diffstat (limited to 'doc/guix.texi')
-rw-r--r-- | doc/guix.texi | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 4830f39cdb..d3170bb46e 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -2918,6 +2918,25 @@ variable, even though, taken individually, neither @file{foo} nor @itemx -p @var{profile} Use @var{profile} instead of the user's default profile. +@var{profile} must be the name of a file that will be created upon +completion. Concretely, @var{profile} will be a mere symbolic link +(``symlink'') pointing to the actual profile where packages are +installed: + +@example +$ guix install hello -p ~/code/my-profile +@dots{} +$ ~/code/my-profile/bin/hello +Hello, world! +@end example + +All it takes to get rid of the profile is to remove this symlink and its +siblings that point to specific generations: + +@example +$ rm ~/code/my-profile ~/code/my-profile-*-link +@end example + @cindex collisions, in a profile @cindex colliding packages in profiles @cindex profile collisions |