diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2024-10-04 17:38:06 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-10-04 17:44:01 +0900 |
commit | 09dac2bad71206c8ec4a0fe04c734e01d7876066 (patch) | |
tree | d71a999c3cef16a3897e70f4b38f35e8d135c6ba /atom-encode-ids | |
parent | e348476a62f1a14f3f1818bb95de61f1d836c667 (diff) | |
download | px-09dac2bad71206c8ec4a0fe04c734e01d7876066.tar.gz |
Quote URL in atom:id
Diffstat (limited to 'atom-encode-ids')
-rwxr-xr-x | atom-encode-ids | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/atom-encode-ids b/atom-encode-ids new file mode 100755 index 0000000..79ac509 --- /dev/null +++ b/atom-encode-ids @@ -0,0 +1,16 @@ +#!/usr/bin/env python3 +import re +from urllib.parse import quote +from sys import stdin, stdout + +ID_LINE = re.compile(r'(?P<open> +<id>)(?P<url>.+)(?P<close></id>)\n') + + +def encode_id(line: str) -> str: + match = re.fullmatch(ID_LINE, line) + if match is None: return line + return '{open}{iri}{close}\n'.format(iri=quote(match.group('url'), ':/#'), + **match.groupdict()) + + +stdout.writelines(map(encode_id, stdin.readlines())) |