Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
besson_sylvain:economist_jurist [2021/03/25 13:26] Sylvain Besson |
besson_sylvain:economist_jurist [2021/03/25 18:34] Sylvain Besson [Github] |
||
---|---|---|---|
Ligne 235: | Ligne 235: | ||
Nous utilisons aussi une [[https://github.com/jupyterlab/jupyterlab-git|extension]] de Jupyterlab pour avoir Git, de même que nous utilisons une [[https://github.com/jupyterlab/jupyterlab-github|extension]] pour avoir Github. | Nous utilisons aussi une [[https://github.com/jupyterlab/jupyterlab-git|extension]] de Jupyterlab pour avoir Git, de même que nous utilisons une [[https://github.com/jupyterlab/jupyterlab-github|extension]] pour avoir Github. | ||
+ | Le recours à une [[https://help.gnome.org/users/seahorse/stable/about-ssh.html.fr|clef SSH]] est aussi utile pour se connecter de façon sécuriser depuis une machine local vers Github. | ||
+ | Cette clef est en deux parties: | ||
+ | * Une clef publique disponible par tous | ||
+ | * Une clef privée est secrète | ||
+ | |||
+ | Il faut pour cela créer une [[https://docs.github.com/en/github/authenticating-to-github/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent|clef privée sur une machine locale]] puis ensuite reporter la clef publique sur [[https://docs.github.com/en/github/authenticating-to-github/adding-a-new-ssh-key-to-your-github-account|Github]]. Cela fonctionne à la fois sur Windows, Mac et Linux |