diff options
author | 2010-01-13 22:42:47 +0100 | |
---|---|---|
committer | 2010-01-13 22:59:31 +0100 | |
commit | 2a8c6eb92c06b79392b553df0b189f1bae927f35 (patch) | |
tree | 971c9923832cfe59de8dc7c7790253438083f4cc | |
parent | Revert element "category" from repositories.xml (diff) | |
download | repositories-xml-format-2a8c6eb92c06b79392b553df0b189f1bae927f35.tar.gz repositories-xml-format-2a8c6eb92c06b79392b553df0b189f1bae927f35.tar.bz2 repositories-xml-format-2a8c6eb92c06b79392b553df0b189f1bae927f35.zip |
Planet config writer: Handle feed URI collisions better
-rwxr-xr-x | write-overlays-ini.py | 33 |
1 files changed, 30 insertions, 3 deletions
diff --git a/write-overlays-ini.py b/write-overlays-ini.py index d47e88a..737c539 100755 --- a/write-overlays-ini.py +++ b/write-overlays-ini.py @@ -1,4 +1,5 @@ #!/usr/bin/env python +# -*- coding: utf-8 -*- # Copyright (C) 2009 Sebastian Pipping <sebastian@pipping.org> # Licensed under GPL 2 or later @@ -23,18 +24,44 @@ repositories = a.getroot() overlays_ini = ConfigParser() overlays_ini.read(overlays_base_location) +feed_uri_to_name = {} + for repo in repositories: try: _feed_uri = repo.find('feed').text.strip() except AttributeError: continue + repo_name = repo.find('name').text.strip() + if _feed_uri in feed_uri_to_name: + feed_uri_to_name[_feed_uri].add(repo_name) + else: + feed_uri_to_name[_feed_uri] = set([repo_name]) + + def shorten_down(l): + pos = l[0].find('-') + if pos != -1: + # e.g. on ['vdr-devel', 'vdr-experimental'] + prefix = l[0][0:pos] + else: + # e.g. on ['wschlich', 'wschlich-testing'] + prefix = l[0] + if all(map(lambda x: x.startswith(prefix), l)): + return '%s*' % prefix + else: + if all(map(lambda x: x.endswith('emacs'), l)): + return 'emacs' + return '/'.join(l) + try: overlays_ini.add_section(_feed_uri) except DuplicateSectionError: - print 'Warning: Feed URI collision on <%s>' % _feed_uri + # print 'Warning: Feed URI collision on <%s>' % _feed_uri + _names = sorted(feed_uri_to_name[_feed_uri]) + repo_name = shorten_down(_names) + print ' Info: Making name "%s" from "%s"' % (repo_name, '/'.join(_names)) + del _names - repo_name = repo.find('name').text.strip() overlays_ini.set(_feed_uri, 'name', repo_name) # _official = (repo.attrib.get('type', 'unofficial') == 'official') and 'yes' or 'no' @@ -48,7 +75,7 @@ for repo in repositories: try: overlays_ini.set(_feed_uri, 'link', repo.find('homepage').text.strip()) except AttributeError: - print 'Warning: %s is missing a homepage' % repo_name + print ' Warning: %s is missing a homepage' % repo_name f = open(overlays_ini_location, 'w') f.write('# NOTE: This file is generated, do not edit directly.\n\n') |