diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2016-09-26 19:24:05 +0200 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2016-09-26 19:24:22 +0200 |
commit | 5383041ab7eb0ce0b4797913096ae9e26fc92c95 (patch) | |
tree | d3ea5c7a62b51e0562759159041c5113df8e8e2e /maintainers | |
parent | 62c0800e07220a62acfbe64768aef7ff2ff7b090 (diff) |
vanity.sh: tolerate the fact that github login adder is too long
Diffstat (limited to 'maintainers')
-rwxr-xr-x | maintainers/scripts/vanity.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/maintainers/scripts/vanity.sh b/maintainers/scripts/vanity.sh index 1f6fdaff6dd9f..27e7741799f0f 100755 --- a/maintainers/scripts/vanity.sh +++ b/maintainers/scripts/vanity.sh @@ -101,15 +101,15 @@ cleaner_script="$(echo "$name_list_canonical" | denormalize_name | # Add github usernames if [ -n "$NIXPKGS_GITHUB_NAME_CACHE" ]; then - github_adder_script="$(echo "$github_name_list" | + github_adder_script="$(mktemp)" + echo "$github_name_list" | grep -E "$(echo "$name_list_canonical" | cut -f 2 | tr '\n' '|' )" | sort | uniq | sed -re 's/(.*)\t(.*)/s| \1$| \1\t\2|g;/' | - denormalize_name - )" + denormalize_name > "$github_adder_script" else - github_adder_script='' + github_adder_script='/dev/null' fi echo "$name_list" | denormalize_name @@ -118,5 +118,5 @@ echo echo "$git_data" | cut -f 1 | sed -e "$cleaner_script" | - sort | uniq -c | sort -k1n | sed -re "$github_adder_script" | + sort | uniq -c | sort -k1n | sed -rf "$github_adder_script" | sed -re 's/^ *([0-9]+) /\1\t/' |