zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-26 09:22:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

scripts/flatpak: Escape XML characters in convert-release-notes.py (#13801)

Browse Source 
Resolves #13791

Release Notes:

- N/A
This commit is contained in:
Joey Riches 2024-07-08 16:25:17 +01:00 committed by GitHub
parent c617d48e16
commit d3f869acd8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
script/flatpak/convert-release-notes.py
View File

@ -1,18 +1,18 @@
import os
import re
import requests
import sys
import textwrap
import os
from html import escape
def clean_line(line: str, in_code_fence: bool) -> str:
line = re.sub(r"<", "&lt;", line)
line = re.sub(r">", "&gt;", line)
line = re.sub(r"\(\[(#\d+)\]\([\w|\d\:|\/|\.|\-|_]*\)\)", lambda match: f"[{match.group(1)}]", line)
line = re.sub(r"\[(#\d+)\]\([\w|\d\:|\/|\.|\-|_]*\)", lambda match: f"[{match.group(1)}]", line)
if not in_code_fence:
line = line.strip()
return line
return escape(line)
def convert_body(body: str) -> str: