Re: github

[jdanield <jdanield AT free.fr>]

Le 03/06/2021 à 18:48, Albert ARIBAUD (via linux-31 Mailing List) a écrit :

> -" origin" est *un* nom de dépôt distant, pas le seul possible ;
>
> - un dépôt local peut avoir plusieurs dépôts distants, chacun identifié
> par son nom et associé à une URL ;

OK

> - un dépôt local peut avoir un dépôt distant dont il n'a pas été cloné.

Oui j'avais commencé comme ça, mais au premier push on se retrouve dans 
la même configuration

> - un dépôt peut avoir un dépôt distant uniquement pour le push ;
> > - à ce sujet, un nom de remote est associé à *deux* URLs différentes,
> > une pour le pull, une pour le pull. (je suppose pour le push?)
tu veux dire que dans certains cas on peut travailler en ligne (et pas 
en local) et sans doute aussi en local et pas en ligne

> En revanche, il est exact qu'on peut utiliser le nom d'un dépôt distant
> à la place d'une URL, mais ça ne fonctionne pas n'importe dans
> n'importe quelle commande : ce n'est pas juste "une variable".
on joue sur les mots,  une variable n'a pas non plus de sens n'importe 
où :-)

mais le problème de départ était que je ne sais pas donner login/mot de 
passe devant origin (ou autre), il me faut l'url complète

Note que, pour l'instant je me concentre sur pmwiki, où les répertoires 
ne subissent aucune modification (c'est plus ou moins utilisé comme un 
ftp). Plus tard je verrai pour charlies, là c'est plus chaud, mais 
commençons par le plus simple.

merci
jdd