diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2015-01-18 16:01:28 +0300 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2015-01-18 18:20:08 +0300 |
| commit | ad7ced806f7ac8d033d916568aacfb522ffa35db (patch) | |
| tree | 8b14fe5b85344720e35402fc4e98ef47164dc268 /maintainers/scripts/vanity.sh | |
| parent | 0e3007ec886948889bc634a88b3396b4ed01e7ee (diff) | |
Update vanity to add more special characters.
Diffstat (limited to 'maintainers/scripts/vanity.sh')
| -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 6759df444ef3..fd8f78ac5efd 100755 --- a/maintainers/scripts/vanity.sh +++ b/maintainers/scripts/vanity.sh @@ -47,11 +47,11 @@ fetchGithubName () { # For RDF normalize_name () { - sed -e 's/%/%25/g; s/ /%20/g; s/'\''/%27/g; s/"/%22/g; s/`/%60/g' + sed -e 's/%/%25/g; s/ /%20/g; s/'\''/%27/g; s/"/%22/g; s/`/%60/g; s/\^/%5e/g; ' } denormalize_name () { - sed -e 's/%20/ /g; s/%27/'\''/g; s/%22/"/g; s/%60/`/g; s/%25/%/g;'; + sed -e 's/%20/ /g; s/%27/'\''/g; s/%22/"/g; s/%60/`/g; s/%5e/^/g; s/%25/%/g;'; } n3="$(mktemp --suffix .n3)" |