Re: utiliser github avec clef ssh et sans mot de passe (ou alternative européenne)

Le 6 mai 2023 Jean-Marc a écrit : > À Bruxelles, il y a https://www.domainepublic.net. > > Tu peux ouvrir un compte avec plein de services pour 30€ par an. Et en France il y a le collectif https://www.chatons.org (issu de Framasoft) qui héberge plusieurs fournisseurs pour ce service : https://ww

Re: utiliser github avec clef ssh et sans mot de passe (ou alternative européenne)

salut Basile, Le 6/05/23 à 10:18, Basile Starynkevitch a écrit : Bonjour la liste Sur mon temps libre je développe avec d'autres le moteur d'inférences RefPerSys (en logiciel libre GPLv3+, pour Debian ou autre Linux): voir http://refpersys.org/ et code en https://github.com/RefPerSys/RefPerS

Re: utiliser github avec clef ssh et sans mot de passe (ou alternative européenne)

Le 19483ième jour après Epoch, Basile Starynkevitch écrivait: > Mais github demande maintenant un mot de passe à chaque git push. Je n'ai pas ce comportement de mon côté. C'est assez étonnant. Tu as bien g...@github.com:RefPerSys/RefPerSys.git dans le fichier .git/config pour l'URL du repo ? Est

Re: utiliser github avec clef ssh et sans mot de passe (ou alternative européenne)

Bonjour Le 06/05/2023 à 10:18, Basile Starynkevitch a écrit : Bonjour la liste Sur mon temps libre je développe avec d'autres le moteur d'inférences RefPerSys (en logiciel libre GPLv3+, pour Debian ou autre Linux): voir http://refpersys.org/ et code en https://github.com/RefPerSys/RefPerSys

Re: utiliser github avec clef ssh et sans mot de passe (ou alternative européenne)

On 5/6/23 12:33, Dethegeek wrote: Bonjour Je me sers quotidiennement de GitHub avec une clé wsh. Je suis en France, et je n'ai jamais besoin de mot de passe; la clé privée suffit. Je te donne tout a l'heure les infos pour configurer tout ça. Je suppose que tu as déjà déposé ta clé publique

Re: Re : date de sortie prévisionnelle de Debian 12 Bookworm: le 10 juin 2023

Merci pour l'info! J'en prend bonne note pour le prochain essai. Roger Le 2023-05-01 à 11 h 58, steve a écrit : Le 01-05-2023, à 11:26:33 -0400, Ro Bou a écrit : Pour ce problème, il faut cette entrée GRUB_DISABLE_OS_PROBER=false dans /etc/default/grub puis lancer, en root update-grub2

Re: utiliser github avec clef ssh et sans mot de passe (ou alternative européenne)

Le 06/05/2023 à 10:18, Basile Starynkevitch a écrit : Bonjour la liste Sur mon temps libre je développe avec d'autres le moteur d'inférences RefPerSys (en logiciel libre GPLv3+, pour Debian ou autre Linux): voir http://refpersys.org/ et code en https://github.com/RefPerSys/RefPerSys Bien sû

utiliser github avec clef ssh et sans mot de passe (ou alternative européenne)

Bonjour la liste Sur mon temps libre je développe avec d'autres le moteur d'inférences RefPerSys (en logiciel libre GPLv3+, pour Debian ou autre Linux): voir http://refpersys.org/ et code en https://github.com/RefPerSys/RefPerSys Bien sûr, j'ai des clef SSH Mais github demande maintenant un