bebou

git clone git://bebou.netlib.re/bebou
Log | Files | Refs |

commit 16c29d23270fc735b61d0050e529d0c45b42a4d9
parent 203e28893e528884050cf5b77c1adc9c4eb6abc8
Auterice: Arthur Pons <arthur.pons@unistra.fr>
Date:   Thu, 17 Oct 2024 13:09:26 +0200

Il faut préciser le protocole ssh

Diffstat:
M
contents/faq/index.sh
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/contents/faq/index.sh b/contents/faq/index.sh
@@ -524,7 +524,7 @@ hébergé sur le serveur, il faut utiliser le protocole ssh. Il faut donc
 
 Si vous possédez un compte vous pouvez cloner un dépôt existant comme ceci :
 
-    $ git clone nom_du_compte@bebou.netlib.re:1459/srv/git/nom_du_depot
+    $ git clone ssh://nom_du_compte@bebou.netlib.re:1459/srv/git/nom_du_depot
 
 Si vous avez une entrée dans votre `~/.ssh/config` qui renseigne le nom de
 domaine et votre compte cette commande pourrait se résumer par :
@@ -540,7 +540,7 @@ cette branche distante :
 
     $ git clone git://bebou.netlib.re/nom_du_depot
 	# blablabla git commit
-	$ git push --set-upstream nom_du_compte@bebou.netlib.re:1459/srv/git/nom_du_depot
+	$ git push --set-upstream ssh://nom_du_compte@bebou.netlib.re:1459/srv/git/nom_du_depot
 
 Une fois vos modifications ou votre premier push avec `--set-upstream` fait
 vous pourrez ensuite pousser avec :
@@ -568,7 +568,7 @@ pour) :
 Vous pouvez ensuite vous déplacer dans votre dépôt git en local et pousser sur
 la branche distante main (celle par défaut) :
 
-    git push --set-upstream nom_du_compte@bebou.netlib.re:1459/srv/git/test2 main
+    git push --set-upstream ssh://nom_du_compte@bebou.netlib.re:1459/srv/git/test2 main
 
 ## Il est un peu moche ce site non ?