channel_html: bytes
forwarded_url: str
git_revision: str
+ release_name: str
table: Dict[str, InfoTableEntry]
url: str
d = xml.dom.minidom.parseString(info.channel_html)
v.ok()
- v.status('Extracting git commit')
+ v.status('Extracting release name:')
+ title_name = d.getElementsByTagName(
+ 'title')[0].firstChild.nodeValue.split()[2]
+ h1_name = d.getElementsByTagName('h1')[0].firstChild.nodeValue.split()[2]
+ v.status(title_name)
+ v.result(title_name == h1_name)
+ info.release_name = title_name
+
+ v.status('Extracting git commit:')
git_commit_node = d.getElementsByTagName('tt')[0]
info.git_commit = git_commit_node.firstChild.nodeValue
+ v.status(info.git_commit)
v.ok()
v.status('Verifying git commit label')
v.result(git_commit_node.previousSibling.nodeValue == 'Git commit ')
def extract_channel(v: Verification, info: Info) -> None:
with tempfile.TemporaryDirectory() as d:
- v.status('Extracting nixexprs.tar.xz')
+ v.status('Extracting %s' % info.table['nixexprs.tar.xz'].file)
shutil.unpack_archive(info.table['nixexprs.tar.xz'].file, d)
v.ok()
v.status('Removing temporary directory')