Re: [Nix-dev] Error on creating hoogle database (permission denied)

2014-06-04 Thread John Wiegley
Thomas Strobel ts...@cam.ac.uk writes: I was trying to create a hoogle database with 'hoogle data', but there is no way to specify where to write the database to. So I get the following error: '' hoogle:

[Nix-dev] Error on creating hoogle database (permission denied)

2014-06-03 Thread Thomas Strobel
Hi! I was trying to create a hoogle database with 'hoogle data', but there is no way to specify where to write the database to. So I get the following error: '' hoogle: /nix/store/jl9j7s3s69q8l1imr9caxbxfc4cpg2g9-haskell-hoogle-ghc7.6.3-4.2.32/share/hoogle-4.2.32/databases: createDirectory:

Re: [Nix-dev] Error on creating hoogle database (permission denied)

2014-06-03 Thread Gergely Risko
use -d parameter of hoogle. Gergely On Tue, 03 Jun 2014 16:22:15 +0100, Thomas Strobel ts...@cam.ac.uk writes: Hi! I was trying to create a hoogle database with 'hoogle data', but there is no way to specify where to write the database to. So I get the following error: '' hoogle: