Merge pull request #212 from NixOS/config-updates

Handle case-sensitive usernames by lowercasing
This commit is contained in:
Graham Christensen 2018-08-07 17:06:39 -04:00 committed by GitHub
commit bb364c5857
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,7 +15,7 @@ function fetch_users() {
| jq 'map(.login | ascii_downcase)'
}
cp ./config.extra-known-users.json "$accumulator"
jq "map(ascii_downcase)" ./config.extra-known-users.json > "$accumulator"
page=0
while true; do
@ -34,4 +34,7 @@ jq -s '{ "runner": { "known_users": .[0]}}' "$accumulator" > "$dest"
rm -f "$result" "$scratch" "$accumulator"
jq -s '.[0] * .[1] * .[2]' ./config.public.json ./config.known-users.json ./config.private.json > ./config.prod.json
jq -s '.[0] * .[1] * .[2]' \
./config.public.json \
./config.known-users.json \
./config.private.json > ./config.prod.json