diff options
Diffstat (limited to 'https-what-repos.py')
-rwxr-xr-x | https-what-repos.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/https-what-repos.py b/https-what-repos.py new file mode 100755 index 0000000..5b66f19 --- /dev/null +++ b/https-what-repos.py @@ -0,0 +1,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 |