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 dans ton profil ?
Oui.
https://github.com/bstarynk/
Comment créer la clef wsh?
(j'en ai en ssh)
Le sam. 6 mai 2023 à 10:18, Basile Starynkevitch
<bas...@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 <bas...@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/ <http://starynkevitch.net/Basile/>
--
Basile Starynkevitch<bas...@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
