]> scripts.mit.edu Git - wizard.git/blobdiff - wizard/command/install.py
Minor refactorings, update TODO.
[wizard.git] / wizard / command / install.py
index 746463169e40ded3deb0d8ac2bf0b50a53861d3d..dee34529de242cc83fcc2b12743240a33c6e1f32 100644 (file)
@@ -17,10 +17,10 @@ def main(argv, baton):
     appname, _, version = app.partition('-')
     application = deploy.applications()[appname]
     sh = shell.Shell()
-    sh.call("git", "clone", "--shared", application.repository(options.srv_path), dir)
+    sh.call("git", "clone", "-q", "--shared", application.repository(options.srv_path), dir)
     with util.ChangeDirectory(dir):
         if version:
-            sh.call("git", "checkout", app)
+            sh.call("git", "reset", "-q", "--hard", app)
         # this command's stdin should be hooked up to ours
         try:
             configure_args = args[2:] + command.makeBaseArgs(options)