blob: 5b66f193d45423f4d26153f22b835ebc32a92e99 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/usr/bin/env python
# List Cryptech git repository URLs by scraping them from the
# automatically generated Trac page. Yes, we know too much about how
# the generation script and Trac format this page, c'est la vie.
from urllib import urlopen
from xml.etree.ElementTree import ElementTree
url = "https://wiki.cryptech.is/wiki/GitRepositories"
for x in ElementTree(file = urlopen(url)).iter("{http://www.w3.org/1999/xhtml}tt"):
if x.text.startswith("https://git.cryptech.is/") and x.text.endswith(".git"):
print x.text
|