diff options
author | 2010-01-14 00:01:39 +0100 | |
---|---|---|
committer | 2010-01-14 00:01:39 +0100 | |
commit | aee95cfe686a2f2d71d905be62c94e7046c64fee (patch) | |
tree | ea16389e88dd0903c80a6a48921b32c65a18246b | |
parent | Planet config writer: Pull [Planet] section back on top (diff) | |
download | repositories-xml-format-aee95cfe686a2f2d71d905be62c94e7046c64fee.tar.gz repositories-xml-format-aee95cfe686a2f2d71d905be62c94e7046c64fee.tar.bz2 repositories-xml-format-aee95cfe686a2f2d71d905be62c94e7046c64fee.zip |
Planet config writer: Filter out unoffical overlays
-rwxr-xr-x | write-overlays-ini.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/write-overlays-ini.py b/write-overlays-ini.py index 0e13d53..9136f14 100755 --- a/write-overlays-ini.py +++ b/write-overlays-ini.py @@ -38,6 +38,10 @@ for repo in repositories: else: feed_uri_to_name[_feed_uri] = set([repo_name]) + if repo.attrib.get('status', 'unofficial') != 'official': + print ' Info: Skipping unofficial overlay "%s"' % repo_name + continue + def shorten_down(l): pos = l[0].find('-') if pos != -1: @@ -64,8 +68,6 @@ for repo in repositories: overlays_ini.set(_feed_uri, 'name', repo_name) - # _official = (repo.attrib.get('type', 'unofficial') == 'official') and 'yes' or 'no' - _owner_type = repo.find('owner').attrib.get('type', 'project') if _owner_type == 'person': overlays_ini.set(_feed_uri, 'developer', 'yes') |