Peter Simons 37164ae389 docker: ensure that the installation works for users other than 'root', too ... The path /root/.nix-profile is a sym-link to /nix/var/nix/profiles/default. The latter path, however, works for everyone while the former path works only for root, so we prefer the public path whenever possible.		2017-10-07 17:28:34 +02:00
..
Dockerfile	docker: ensure that the installation works for users other than 'root', too	2017-10-07 17:28:34 +02:00