Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pill 10: make is available from the user env #122

Open
darthdeus opened this issue Nov 20, 2019 · 1 comment
Open

Pill 10: make is available from the user env #122

darthdeus opened this issue Nov 20, 2019 · 1 comment

Comments

@darthdeus
Copy link

The pill says

$ nix-shell hello.nix
[nix-shell]$ make
bash: make: command not found

yet in my case

[nix-shell:~/projects/pills/hello]$ make
make: *** No targets specified and no makefile found.  Stop.

so make is clearly available, but surprisingly it comes from my user env, even when launching as --pure

$ nix-shell --pure hello.nix

I find this very surprising, since the pill makes it sound like the shell is completely isolated, but it clearly is not.

@jonringer
Copy link

jonringer commented Nov 20, 2019

this is working as intended, in the hello.nix file, there's a line:

inherit gnutar gzip gnumake gcc coreutils gawk gnused gnugrep;

gnumake package contains make, so when you use nix-shell hello.nix, you're bringing in those packages, and they will be made available even in a --pure environment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants