tools: add some options and comments to shell.nix
#60911
+53
−36
Loading