No, that is the correct way to use it. It is a bit confusing, but nix shell just pops whatever packages binaries you specify into a shell, whereas nix develop is more involved and allows you to setup other aspects of the environment, such as variables, etc, which is useful for reproducible project devshells.
4 Likes