It should be ${map.sh} ? Since it’s a small patch I’m not going to pr on that. ( I can’t find a suitable issue type on that so I leave it here. )
1 Like
Oh please open a PR, no typo is too small to get fixed! 
Many moons ago we also discussed that probably those scripts should be very simple derivations that obtain the sources from nix.dev so learners don’t have to download those files manually. If that’s a more interesting challenge, I’d love to merge such a PR as well.
2 Likes