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:
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:
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: