blob: 439660682e2ecc1d9660863fbac7d881d357bd3f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/sh
echo "{"
grep -v -F '.bin-' | while read path; do
hash=`nix-hash --type sha1 --base32 "$path"`
echo -n "$path" | sed -E 's/[^-]*-texlive-(.*)/"\1"/'
echo "=\"$hash\";"
done
echo "}"
|