Stream: Nix toolbox devs & users

Topic: ✔ initNixConfig not found

view this post on Zulip Arthur Azevedo de Amorim (Mar 07 2023 at 21:00):

I am getting an error when running the initialization commands in the readme:

$ nix-shell https://coq.inria.fr/nix/toolbox --arg do-nothing true --run generateNixDefault
$ nix-shell --arg do-nothing true --run "initNixConfig deriving"
/tmp/nix-shell-44376-0/rc: line 3: initNixConfig: command not found\

What does this mean?

view this post on Zulip Cyril Cohen (Mar 08 2023 at 20:08):

Arthur Azevedo de Amorim said:

I am getting an error when running the initialization commands in the readme:

$ nix-shell https://coq.inria.fr/nix/toolbox --arg do-nothing true --run generateNixDefault
$ nix-shell --arg do-nothing true --run "initNixConfig deriving"
/tmp/nix-shell-44376-0/rc: line 3: initNixConfig: command not found\

What does this mean?

Probably you also have a shell.nix in the directory you are running those commands from, and it's taking precedence over default.nix (created by generateNixDefault)

view this post on Zulip Notification Bot (Mar 08 2023 at 21:18):

Arthur Azevedo de Amorim has marked this topic as resolved.

view this post on Zulip Arthur Azevedo de Amorim (Mar 08 2023 at 21:18):

Thanks!

Last updated: Jun 11 2023 at 00:30 UTC