Logiciels: Jupyter#
Avertissement
Le contenu de cet page est partiellement caduque ou redondant
Vous trouverez dans le sujet du TP 1 les instructions pour télécharger les TPs et les déposer. Grâce à ce dépôt, vous pourrez facilement passer d’une possibilité à l’autre; par exemple vous pouvez commencer à travailler en salle pendant les TP, puis continuer chez vous. Lorsque vous téléchargerez le TP chez vous, vous récupérerez automatiquement la dernière version que vous avez déposé.
Ce seront les mêmes instructions pour les TPs suivants et le projet.
Recommandations:
En début de séance de travail, utilisez systématiquement
info-111 fetch ...
pour télécharger le TP original ou, le cas échéant, la dernière version que vous avez déposé.En fin de séance de travail, utilisez systématiquement
info-111 submit ...
pour déposer votre travail.Vous pouvez consulter à tout moment ce que vous avez déposé sur https://gitlab.dsi.universite-paris-saclay.fr/
Utilisation du terminal#
Vous pouvez lancer un terminal avec le menu New -> Terminal
, puis
utiliser les commandes usuelles: mkdir
, cd
, etc.
Lorsque vous avez fini d’utiliser le serveur Jupyter
merci de
l’éteindre avec Control Panel -> Stop My Server
pour économiser les
ressources. Votre dossier personnel sera conservé.
Pour les plus expérimentés#
Les instructions ci-dessous sont pour les plus expérimentés d’entre vous, ainsi que pour les enseignants. Nous sommes toujours preneurs de suggestions d’amélioration, mais nous n’assurons pas de support.
Vous pouvez:
Lancer à distance Jupyter sur les salles de TP de l’université. Les instructions ci-dessous supposent ici que vous ayez accès à un terminal (Linux, MacOS, Windows+Cygwin):
Installer ssh; sous Linux:
apt install openssh-client
Lancer Jupyter à distance, en remplaçant prenom.nom par votre login Adonis dans la commande suivante, et en changeant le numéro de port le cas échéant:
port=8899 user=prenom.nom ssh -L ${port}:localhost:$port $user@ssh1.pgip.universite-paris-saclay.fr info-111 jupyter notebook --no-browser --port $port
Ouvrir votre navigateur à l’URL affichée, qui ressemblera à:
http://127.0.0.1:8899/?token=b627....253cd