1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
source $stdenv/setup header "exporting $url (rev $rev) into $out" git clone "$url" $out if test -n "$rev"; then cd $out git checkout $rev fi if test -z "$leaveDotGit"; then find $out -name .git\* | xargs rm -rf fi stopNest