gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

doc: minimize mentions of nix-env -i without -A in nixpkgs manual

Browse Source
This commit is contained in:
Guillaume Girol
2021-11-08 12:00:00 +00:00
parent c935f5e0ad
commit a15fbab8e9
6 changed files with 14 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
doc/languages-frameworks/idris.section.md
View File

@@ -5,10 +5,7 @@
The easiest way to get a working idris version is to install the `idris` attribute:
```ShellSession
$ # On NixOS
$ nix-env -i nixos.idris
$ # On non-NixOS
$ nix-env -i nixpkgs.idris
$ nix-env -f "<nixpkgs>" -iA idris
```
This however only provides the `prelude` and `base` libraries. To install idris with additional libraries, you can use the `idrisPackages.with-packages` function, e.g. in an overlay in `~/.config/nixpkgs/overlays/my-idris.nix`: