* add a function to change the server of all distro specific sources

1 files changed, 11 insertions, 0 deletions

diff --git a/AptSources/aptsources.py b/AptSources/aptsources.py
index 34b5b967..7078147f 100644
--- a/AptSources/aptsources.py
+++ b/AptSources/aptsources.py
@@ -673,6 +673,17 @@ class Distribution:
             if len(source.comps) < 1: 
                sourceslist.remove(source)
 
+  def change_server(self, uri):
+    ''' Change the server of all distro specific sources to
+        a given host '''
+    sources = []
+    sources.extend(self.main_sources)
+    sources.extend(self.child_sources)
+    sources.extend(self.source_code_sources)
+    for source in sources:
+        # FIXME: ugly
+        if not "security.ubuntu.com" in source.uri:
+            source.uri = uri
 
 # some simple tests
 if __name__ == "__main__":