diff options
| -rwxr-xr-x | maintainers/scripts/vanity.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintainers/scripts/vanity.sh b/maintainers/scripts/vanity.sh index 78fb5d5dee44..5f4d38c81453 100755 --- a/maintainers/scripts/vanity.sh +++ b/maintainers/scripts/vanity.sh @@ -17,11 +17,11 @@ git_lines="$( ( echo "$git_data"; # For RDF normalize_name () { - sed -e 's/ /_/g; s/'\''/*/g; s/"/**/g;' + sed -e 's/%/%25/g; s/ /%20/g; s/'\''/%27/g; s/"/%22/g;' } denormalize_name () { - sed -e 's/_/ /g; s/[*][*]/"/g; s/[*]/'\''/g;' + sed -e 's/%20/ /g; s/%27/'\''/g; s/%22/"/g; s/%25/%/g;'; } n3="$(mktemp --suffix .n3)" |