From 9d7594356e3f9bc646dcdc19ab6e99e250aaf533 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Wed, 12 Apr 2023 08:37:49 +0400
Subject: [PATCH] =?UTF-8?q?repoctl:=20correction=20de=20l'url=20g=C3=A9n?=
 =?UTF-8?q?=C3=A9r=C3=A9=20des=20d=C3=A9p=C3=B4ts=20git?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 repoctl  | 2 +-
 uproject | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repoctl b/repoctl
index 49a4410..4d223e1 100755
--- a/repoctl
+++ b/repoctl
@@ -132,7 +132,7 @@ function gogs_setvars() {
 
 function _update_origin() {
     estep "Mise à jour de l'origine"
-    git remote set-url origin "$repourl"
+    git remote set-url origin "${repourl%.git}.git"
 }
 function _update_origin_push() {
     if ask_yesno "Faut-il faire git push?" O; then
diff --git a/uproject b/uproject
index f6ccdf7..d68c8de 100755
--- a/uproject
+++ b/uproject
@@ -591,11 +591,11 @@ result: $result"
 
         if [ -n "$tmpdestdir" ]; then
             setxx destname=abspath "$destdir" // basename
-            git clone "$repourl" "$tmpdestdir/$destname" || die
+            git clone "${repourl%.git}.git" "$tmpdestdir/$destname" || die
             mv "$tmpdestdir/$destname/.git" "$destdir" || die
             ac_clean "$tmpdestdir"
         else
-            git clone "$repourl" "$destdir" || die
+            git clone "${repourl%.git}.git" "$destdir" || die
         fi
     else
         die "bug: mode non prévu"