Merge pull request #1 from u-quark/fix-update-sources-dash-in-repo-name

Fix update_sources not matching repos with dashes
This commit is contained in:
atpotts 2020-04-10 10:30:08 +01:00 committed by GitHub
commit 47ff0a01fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,7 +9,7 @@
generate_sources () {
out=$1
curl "https://raw.githubusercontent.com/chriskempson/base16-${out}-source/master/list.yaml"\
| sed -nE "s~^(\w*): *(.*)~\1 \2~p"\
| sed -nE "s~^([-_[:alnum:]]+): *(.*)~\1 \2~p"\
| while read name src; do
echo "{\"key\":\"$name\",\"value\":"
nix-prefetch-git $src