@roconnor: Hey! $ nix-store --read-log /run/current-system/sw prints a whole bunch of 'collision between' lines, but when I pipe it into grep it returns nothing for 'agda' or 'Agda'
The file pointed to by $ nix-store -q -deriver /run/current-system/sw Has four references to Agda. Two to the executable itself (haskell-agda-ghc) and two to (agda-stdlib) so it appears both are being loaded @James Cook: What should my /path/to/my/nixpkgs be? I haven't added any custom nixpkgs directories or whatnot. I don't think this should be causing the problem, but on the other hand nothing should be causing the problem :P Thanks again for all the help guys. --Taeer On Tue, Oct 6, 2015 at 2:39 AM, James Cook <james.c...@utoronto.ca> wrote: > On 3 October 2015 at 17:22, Taeer Bar-Yam <tb...@cornell.edu> wrote: > > Assumption IV: I'm not sure how this works. Where is all-packages.nix? I > > switched to the unstable branch with nix-channel, but that should be a > > user-level change, right? Not system-level. > > I'm actually not sure where nixos-rebuild finds the nixpkgs tree by > default, but I believe you can override it by adding the option -I > nixpkgs=/path/to/my/nixpkgs , or by setting the NIX_PATH environment > variable to nixpkgs=/path/to/my/nixpkgs. > > The only way I can imagine this would matter is if a recent change to > AgdaStdlib caused the share/agda directory to appear or disappear. > > James >
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
