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 dans ton profil ?
Oui.
Comment créer la clef wsh?
(j'en ai en ssh)
Le sam. 6 mai 2023 à 10:18, Basile Starynkevitch <basile@starynkevitch.net> 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ûr, j'ai des clef SSH
Mais github demande maintenant un mot de passe à chaque git push.
Connaissez vous une alternative en Europe? (je suis prêt à payer une
douzaine d'€ par mois, si nécessaire).
Avec les fichiers executables, RefPerSys consomme actuellement environ
250Mo d'espace disque.
Librement
--
Basile Starynkevitch <basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
-- Basile Starynkevitch <basile@starynkevitch.net> (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/