From 43f921fffb4d523df9b85e967bc30a9a0c59fde4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micka=C3=ABl=20V=C3=A9ril?= <mveril@irsamc.ups-tlse.fr>
Date: Sat, 23 Mar 2019 12:51:53 +0100
Subject: [PATCH] Add the posiblity to set custom name when we download git
 repo

---
 bin/qp_plugins | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/bin/qp_plugins b/bin/qp_plugins
index 1a591e53..564be940 100755
--- a/bin/qp_plugins
+++ b/bin/qp_plugins
@@ -3,7 +3,7 @@
 """
 Usage:
        qp_plugins list [-iuq]
-       qp_plugins download <url>
+       qp_plugins download <url> [-n <name>]
        qp_plugins install <name>...
        qp_plugins uninstall <name>
        qp_plugins create -n <name> [-r <repo>] [<needed_modules>...]
@@ -186,7 +186,10 @@ def main(arguments):
                       url.endswith(".zip"))
         os.chdir(QP_PLUGINS)
         if is_repo:
-            subprocess.check_call(["git", "clone", url])
+            cmd=["git", "clone", url]
+            if arguments["--name"]:
+               cmd=cmd+[arguments["--name"]]
+            subprocess.check_call(cmd)
         else:
             filename = url.split('/')[-1]