[Nix-dev] Nix User Guide comments

[Martin Bravenboer]

Hi Clemens,

> To prevent getting stuck this weekend ;-)
> - can anyone tell me how to unpack a .nixpkg file?

.nixpkg files should be executed with the tool
/nix/bin/nix-install-package. Usually, this is done from the browser:
click the file and choose this tool to open the file.

Cheers,
--
Martin Bravenboer
---------------------------------------------------------------------
Center for Software Technology
Institute of Information and Computing Sciences
Utrecht University