diff options
| author | Rob Vermaas <rob.vermaas@gmail.com> | 2015-01-05 15:13:51 +0100 |
|---|---|---|
| committer | Rob Vermaas <rob.vermaas@gmail.com> | 2015-01-05 15:13:51 +0100 |
| commit | 1b167c964fd0edec62b63a3aac71bcca84b6de38 (patch) | |
| tree | 4e0720bebe2a1d4eb77b007e55a73f5b9fc55bb3 | |
| parent | 8027083c3afaa5a05052518fe96b38f8dbafd6e2 (diff) | |
| parent | 14fb7378dfb2bddb45652cfffe1908d4ff1fc8ea (diff) | |
Merge pull request #431 from j-keck/master
small documentation fixes
| -rw-r--r-- | doc/manual/packages/basic-package-mgmt.xml | 2 | ||||
| -rw-r--r-- | doc/manual/packages/profiles.xml | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/doc/manual/packages/basic-package-mgmt.xml b/doc/manual/packages/basic-package-mgmt.xml index 540d3ec22..e8d1419da 100644 --- a/doc/manual/packages/basic-package-mgmt.xml +++ b/doc/manual/packages/basic-package-mgmt.xml @@ -36,7 +36,7 @@ it’s much more convenient to use the Nixpkgs <emphasis>channel</emphasis>, since it makes it easy to stay up to date with new versions of Nixpkgs. (Channels are described in more detail in <xref linkend="sec-channels"/>.) Nixpkgs is automatically -added to your list of “subscribed” channels when when you install +added to your list of “subscribed” channels when you install Nix. If this is not the case for some reason, you can add it as follows: diff --git a/doc/manual/packages/profiles.xml b/doc/manual/packages/profiles.xml index 60660056f..4d10319ab 100644 --- a/doc/manual/packages/profiles.xml +++ b/doc/manual/packages/profiles.xml @@ -120,8 +120,7 @@ can also see all available generations: <screen> $ nix-env --list-generations</screen></para> -<para>Actually, there is another level of indirection not shown in the -figure above. You generally wouldn’t have +<para>You generally wouldn’t have <filename>/nix/var/nix/profiles/<replaceable>some-profile</replaceable>/bin</filename> in your <envar>PATH</envar>. Rather, there is a symlink <filename>~/.nix-profile</filename> that points to your current |