* ask&update repo after adding. we're user-friendly!

2005-10-24 21:40:00 +00:00
parent baa0f32a3e
commit 851a0b2b2d
1 changed files with 2 additions and 0 deletions
@@ -633,6 +633,8 @@ NB: We support only local files (e.g., /a/b/c) and http:// URIs at the moment
            name = self.args[0]
            indexuri = self.args[1]
            pisi.api.add_repo(name, indexuri)
+            if ctx.ui.confirm(_('Update PISI database for repository %s?') % name):
+                pisi.api.update_repo(repo)
            self.finalize()
        else:
            self.help()