From 851a0b2b2d485ac09f70e85034898743e592c793 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eray=20=C3=96zkural?= Date: Mon, 24 Oct 2005 21:40:00 +0000 Subject: [PATCH] * ask&update repo after adding. we're user-friendly! --- pisi/cli/commands.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pisi/cli/commands.py b/pisi/cli/commands.py index d8972d6c..3a64cc4a 100644 --- a/pisi/cli/commands.py +++ b/pisi/cli/commands.py @@ -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()