repoctl: correction de l'url généré des dépôts git

This commit is contained in:
Jephté Clain 2023-04-12 08:37:49 +04:00
parent e071b81ad7
commit 9d7594356e
2 changed files with 3 additions and 3 deletions

View File

@ -132,7 +132,7 @@ function gogs_setvars() {
function _update_origin() { function _update_origin() {
estep "Mise à jour de l'origine" estep "Mise à jour de l'origine"
git remote set-url origin "$repourl" git remote set-url origin "${repourl%.git}.git"
} }
function _update_origin_push() { function _update_origin_push() {
if ask_yesno "Faut-il faire git push?" O; then if ask_yesno "Faut-il faire git push?" O; then

View File

@ -591,11 +591,11 @@ result: $result"
if [ -n "$tmpdestdir" ]; then if [ -n "$tmpdestdir" ]; then
setxx destname=abspath "$destdir" // basename 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 mv "$tmpdestdir/$destname/.git" "$destdir" || die
ac_clean "$tmpdestdir" ac_clean "$tmpdestdir"
else else
git clone "$repourl" "$destdir" || die git clone "${repourl%.git}.git" "$destdir" || die
fi fi
else else
die "bug: mode non prévu" die "bug: mode non prévu"