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 | ||
intro_histoire_numerique:git_github_gitlab [2021/03/11 13:43] Francesco Beretta [Télécharger des carnets Jupyter] |
intro_histoire_numerique:git_github_gitlab [2021/03/11 13:44] Francesco Beretta [Télécharger des carnets Jupyter] |
||
---|---|---|---|
Ligne 25: | Ligne 25: | ||
* Appuyer sur le bouton vert 'Code' et choisir: //Open with gitHub desktop// | * Appuyer sur le bouton vert 'Code' et choisir: //Open with gitHub desktop// | ||
* Dans la boîte de dialogue choisir un dossier sur votre disque dans lequel ajouter le dépôt | * Dans la boîte de dialogue choisir un dossier sur votre disque dans lequel ajouter le dépôt | ||
- | * Dans le cas de l'exemple, ajouter le dépôt dans un dossier 'Tutoriels' de votre dossier racine pour les carnets Jupyter (dossier de lancement de JupyterLab) | + | * Dans le cas de l'exemple, ajouter le dépôt dans un dossier 'Tutoriels' de votre dossier racine (sur votre disque dur) dans lequel vous allez créer et gérer les carnets Jupyter |
+ | * Ce dossier racine sera aussi le dossier de lancement de JupyterLab (depuis la ligne de commande, s'y rendre avec la commande CD [adresse complète du dossier] | ||
* Exécuter: les carnets seront copies depuis GitHub vers votre dossier | * Exécuter: les carnets seront copies depuis GitHub vers votre dossier | ||
* Ouvrir JupyterLab et explorer – exécuter les carnets | * Ouvrir JupyterLab et explorer – exécuter les carnets |