Understanding the Relationship Between dev.nix and Project IDX Workspace

General
1

I’m using Project IDX and have created a workspace that is saved as a .code-workspace file. My project also uses Nix for environment management, and I have a dev.nix file that sets up the development environment.

However, I’m not sure how Project IDX detects and uses the dev.nix file within the workspace. When I load the workspace, it often asks for a rebuild, which makes me think it might not be finding the dev.nix file correctly.

Can someone explain how the dev.nix file should be integrated with a Project IDX workspace? Where should I place the dev.nix file, and how can I ensure that the workspace correctly detects and uses it?

2

there is this doc,

Sometimes when environment rebuild wont show after editing dev.nix just doing a page refresh will get it to show up.

However, I have not observed idx requesting to rebuild the environment unless that file has been modified.

3

the option to rebuild environment show sup for me, but clicking on the button does nothing