nix develop
Now the script works without updating rosdep, i.e., fetching the database from the Internet.